| changeset 1273 | f7aca5601279 |
| parent 1270 | 8c3cf9f4f5f2 |
| child 1485 | c004e7448dca |
| 1272:6d140b2c751f | 1273:f7aca5601279 |
|---|---|
3 no_document use_thys |
3 no_document use_thys |
4 ["Nominal2_Base", |
4 ["Nominal2_Base", |
5 "Nominal2_Eqvt", |
5 "Nominal2_Eqvt", |
6 "Nominal2_Atoms", |
6 "Nominal2_Atoms", |
7 "Nominal2_Supp", |
7 "Nominal2_Supp", |
8 "Test"]; |
8 "Test", |
9 "Term1", |
|
10 "Term2", |
|
11 "Term3", |
|
12 "Term4", |
|
13 "Term5", |
|
14 "Term6", |
|
15 "Term7", |
|
16 "Term8", |
|
17 "Term9", |
|
18 "TySch", |
|
19 "LFex"]; |