| changeset 3212 | 0f76f481dbb5 |
| parent 3207 | d3f7c8cce53b |
| child 3235 | 5ebd327ffb96 |
| 3210:024d07886de8 | 3212:0f76f481dbb5 |
|---|---|
11 =============== |
11 =============== |
12 |
12 |
13 Nominal ... main files for new Nominal Isabelle |
13 Nominal ... main files for new Nominal Isabelle |
14 |
14 |
15 Nominal/Ex ... examples for new implementation |
15 Nominal/Ex ... examples for new implementation |
16 |
|
17 |
|
18 |
16 |
19 |
17 |
20 Other Subdirectories: |
18 Other Subdirectories: |
21 ===================== |
19 ===================== |
22 |
20 |