| changeset 2566 | a59d8e1e3a17 |
| parent 2563 | 7c8bfc35663a |
| child 2568 | 8193bbaa07fe |
| 2565:6bf332360510 | 2566:a59d8e1e3a17 |
|---|---|
1 theory Nominal2 |
1 theory Nominal2 |
2 imports |
2 imports |
3 "../Nominal-General/Nominal2_Base" |
3 "../Nominal-General/Nominal2_Base" |
4 "../Nominal-General/Nominal2_Eqvt" |
4 "../Nominal-General/Nominal2_Eqvt" |
5 "Nominal2_FSet" |
|
6 "Abs" |
5 "Abs" |
7 uses ("nominal_dt_rawperm.ML") |
6 uses ("nominal_dt_rawperm.ML") |
8 ("nominal_dt_rawfuns.ML") |
7 ("nominal_dt_rawfuns.ML") |
9 ("nominal_dt_alpha.ML") |
8 ("nominal_dt_alpha.ML") |
10 ("nominal_dt_quot.ML") |
9 ("nominal_dt_quot.ML") |