| changeset 2568 | 8193bbaa07fe |
| parent 2566 | a59d8e1e3a17 |
| child 2571 | f0252365936c |
| 2567:41137dc935ff | 2568:8193bbaa07fe |
|---|---|
1 theory Nominal2 |
1 theory Nominal2 |
2 imports |
2 imports |
3 "../Nominal-General/Nominal2_Base" |
3 Nominal2_Base Nominal2_Eqvt Nominal2_Abs |
4 "../Nominal-General/Nominal2_Eqvt" |
|
5 "Abs" |
|
6 uses ("nominal_dt_rawperm.ML") |
4 uses ("nominal_dt_rawperm.ML") |
7 ("nominal_dt_rawfuns.ML") |
5 ("nominal_dt_rawfuns.ML") |
8 ("nominal_dt_alpha.ML") |
6 ("nominal_dt_alpha.ML") |
9 ("nominal_dt_quot.ML") |
7 ("nominal_dt_quot.ML") |
10 ("nominal_dt_supp.ML") |
8 ("nominal_dt_supp.ML") |