| changeset 2736 | 61d30863e5d1 |
| parent 2568 | 8193bbaa07fe |
| child 2742 | f1192e3474e0 |
| 2735:d97e04126a3d | 2736:61d30863e5d1 |
|---|---|
1 no_document use_thys ["../Nominal/Nominal2_Base", |
1 no_document use_thys ["../Nominal/Nominal2_Base", |
2 "../Nominal/Nominal2_Eqvt", |
|
3 "../Nominal/Atoms", |
2 "../Nominal/Atoms", |
4 "../Nominal/Nominal2_Abs", |
3 "../Nominal/Nominal2_Abs", |
5 "LaTeXsugar"]; |
4 "LaTeXsugar"]; |
6 |
5 |
7 use_thys ["Paper"]; |
6 use_thys ["Paper"]; |