| changeset 2522 | 0cb0c88b2cad |
| parent 2471 | 894599a50af3 |
| child 2568 | 8193bbaa07fe |
| 2521:e7cc033f72c7 | 2522:0cb0c88b2cad |
|---|---|
1 no_document use_thys ["../Nominal-General/Nominal2_Base", |
1 no_document use_thys ["../Nominal-General/Nominal2_Base", |
2 "../Nominal-General/Nominal2_Eqvt", |
2 "../Nominal-General/Nominal2_Eqvt", |
3 "../Nominal-General/Atoms", |
3 "../Nominal-General/Atoms", |
4 "../Nominal/Abs", |
|
4 "LaTeXsugar"]; |
5 "LaTeXsugar"]; |
5 |
6 |
6 use_thys ["Paper"]; |
7 use_thys ["Paper"]; |