| changeset 56059 | 2390391584c2 |
| parent 55112 | b1a5d603fd12 |
| 56058:cd9ce893f2d6 | 56059:2390391584c2 |
|---|---|
2 imports Main |
2 imports Main |
3 begin |
3 begin |
4 |
4 |
5 (*<*) |
5 (*<*) |
6 ML_file "../antiquote_setup.ML" |
6 ML_file "../antiquote_setup.ML" |
7 setup Antiquote_Setup.setup |
|
8 (*>*) |
7 (*>*) |
9 |
8 |
10 chapter {* Some Isar language elements *} |
9 chapter {* Some Isar language elements *} |
11 |
10 |
12 section {* Type checking *} |
11 section {* Type checking *} |