| changeset 2470 | bdb1eab47161 |
| parent 2467 | 67b3933c3190 |
| child 2521 | e7cc033f72c7 |
| 2469:4a6e78bd9de9 | 2470:bdb1eab47161 |
|---|---|
1 (*<*) |
1 (*<*) |
2 theory Paper |
2 theory Paper |
3 imports "../Nominal-General/Nominal2_Base" |
3 imports "../Nominal-General/Nominal2_Base" |
4 "../Nominal-General/Nominal2_Eqvt" |
4 "../Nominal-General/Nominal2_Eqvt" |
5 "../Nominal-General/Nominal2_Supp" |
|
6 "../Nominal-General/Atoms" |
5 "../Nominal-General/Atoms" |
7 "LaTeXsugar" |
6 "LaTeXsugar" |
8 begin |
7 begin |
9 |
8 |
10 notation (latex output) |
9 notation (latex output) |