| changeset 2471 | 894599a50af3 |
| parent 2454 | 9ffee4eb1ae1 |
| child 2474 | 6e37bfb62474 |
| 2470:bdb1eab47161 | 2471:894599a50af3 |
|---|---|
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 "../Nominal-General/Nominal2_Supp" |
|
6 "Nominal2_FSet" |
5 "Nominal2_FSet" |
7 "Abs" |
6 "Abs" |
8 uses ("nominal_dt_rawperm.ML") |
7 uses ("nominal_dt_rawperm.ML") |
9 ("nominal_dt_rawfuns.ML") |
8 ("nominal_dt_rawfuns.ML") |
10 ("nominal_dt_alpha.ML") |
9 ("nominal_dt_alpha.ML") |