| changeset 2467 | 67b3933c3190 |
| parent 2466 | 47c840599a6b |
| child 2470 | bdb1eab47161 |
| 2466:47c840599a6b | 2467:67b3933c3190 |
|---|---|
1 (*<*) |
1 (*<*) |
2 theory Paper |
2 theory Paper |
3 imports "../Nominal-General/Nominal2_Base" |
3 imports "../Nominal-General/Nominal2_Base" |
4 "../Nominal-General/Nominal2_Atoms" |
|
5 "../Nominal-General/Nominal2_Eqvt" |
4 "../Nominal-General/Nominal2_Eqvt" |
6 "../Nominal-General/Nominal2_Supp" |
5 "../Nominal-General/Nominal2_Supp" |
7 "../Nominal-General/Atoms" |
6 "../Nominal-General/Atoms" |
8 "LaTeXsugar" |
7 "LaTeXsugar" |
9 begin |
8 begin |