| changeset 2467 | 67b3933c3190 |
| parent 2380 | 41899210aafb |
| child 2568 | 8193bbaa07fe |
| 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/Atoms" |
5 "../Nominal-General/Atoms" |
7 "LaTeXsugar" |
6 "LaTeXsugar" |
8 begin |
7 begin |
9 |
8 |