| changeset 26956 | 1309a6a0a29f |
| parent 26580 | c3e597a476fd |
| child 27150 | a42aef558ce3 |
| 26955:ebbaa935eae0 | 26956:1309a6a0a29f |
|---|---|
23 ("intprover.ML") |
23 ("intprover.ML") |
24 begin |
24 begin |
25 |
25 |
26 |
26 |
27 subsection {* Syntax and axiomatic basis *} |
27 subsection {* Syntax and axiomatic basis *} |
28 |
|
29 setup PureThy.old_appl_syntax_setup |
|
28 |
30 |
29 global |
31 global |
30 |
32 |
31 classes "term" |
33 classes "term" |
32 defaultsort "term" |
34 defaultsort "term" |