| changeset 2568 | 8193bbaa07fe |
| parent 2523 | e903c32ec24f |
| child 2734 | eee5deb35aa8 |
| 2567:41137dc935ff | 2568:8193bbaa07fe |
|---|---|
1 (*<*) |
1 (*<*) |
2 theory Paper |
2 theory Paper |
3 imports "../Nominal-General/Nominal2_Base" |
3 imports "../Nominal/Nominal2_Base" |
4 "../Nominal-General/Nominal2_Eqvt" |
4 "../Nominal/Nominal2_Eqvt" |
5 "../Nominal-General/Atoms" |
5 "../Nominal/Atoms" |
6 "../Nominal/Abs" |
6 "../Nominal/Abs" |
7 "LaTeXsugar" |
7 "LaTeXsugar" |
8 begin |
8 begin |
9 |
9 |
10 notation (latex output) |
10 notation (latex output) |