| changeset 32174 | 9036cc8ae775 |
| parent 32135 | f645b51e8e54 |
| child 32178 | 0261c3eaae41 |
| 32173:34f7b0fbe047 | 32174:9036cc8ae775 |
|---|---|
2 header {* Meson test cases *} |
2 header {* Meson test cases *} |
3 |
3 |
4 theory Meson_Test |
4 theory Meson_Test |
5 imports Main |
5 imports Main |
6 begin |
6 begin |
7 |
|
8 ML {* open OldGoals *} |
|
7 |
9 |
8 text {* |
10 text {* |
9 WARNING: there are many potential conflicts between variables used |
11 WARNING: there are many potential conflicts between variables used |
10 below and constants declared in HOL! |
12 below and constants declared in HOL! |
11 *} |
13 *} |