| changeset 2471 | 894599a50af3 |
| parent 2033 | 74bd7bfb484b |
| child 2522 | 0cb0c88b2cad |
| 2470:bdb1eab47161 | 2471:894599a50af3 |
|---|---|
1 no_document use_thys ["../Nominal-General/Nominal2_Base", |
1 no_document use_thys ["../Nominal-General/Nominal2_Base", |
2 "../Nominal-General/Nominal2_Atoms", |
|
3 "../Nominal-General/Nominal2_Eqvt", |
2 "../Nominal-General/Nominal2_Eqvt", |
4 "../Nominal-General/Nominal2_Supp", |
|
5 "../Nominal-General/Atoms", |
3 "../Nominal-General/Atoms", |
6 "LaTeXsugar"]; |
4 "LaTeXsugar"]; |
7 |
5 |
8 use_thys ["Paper"]; |
6 use_thys ["Paper"]; |