| changeset 1774 | c34347ec7ab3 |
| parent 1773 | c0eac04ae3b4 |
| child 1795 | e39453c8b186 |
| 1773:c0eac04ae3b4 | 1774:c34347ec7ab3 |
|---|---|
1 quick_and_dirty := true; |
1 quick_and_dirty := true; |
2 |
2 |
3 no_document use_thys |
3 no_document use_thys |
4 ["Nominal2_Base", |
4 ["Ex/ExLam", |
5 "Nominal2_Eqvt", |
|
6 "Nominal2_Atoms", |
|
7 "Nominal2_Supp", |
|
8 "Ex/ExLam", |
|
9 "Ex/ExLF", |
5 "Ex/ExLF", |
10 "Ex/Ex1", |
6 "Ex/Ex1", |
11 "Ex/Ex1rec", |
7 "Ex/Ex1rec", |
12 "Ex/Ex2", |
8 "Ex/Ex2", |
13 "Ex/Ex3", |
9 "Ex/Ex3", |