| changeset 3235 | 5ebd327ffb96 |
| parent 3212 | 0f76f481dbb5 |
| 3234:08c3ef07cef7 | 3235:5ebd327ffb96 |
|---|---|
3 |
3 |
4 Compilation of Tests |
4 Compilation of Tests |
5 ==================== |
5 ==================== |
6 |
6 |
7 isabelle build -d . -g Tests |
7 isabelle build -d . -g Tests |
8 |
|
9 The version of Nominal2 in the AFP can be tested with |
|
10 |
|
11 isabelle build -d . Nominal2 |
|
12 isabelle build -d . Launchbury |
|
13 |
|
8 |
14 |
9 |
15 |
10 Subdirectories: |
16 Subdirectories: |
11 =============== |
17 =============== |
12 |
18 |