| changeset 12013 | 8d2372c6b5f3 |
| parent 11761 | 183435fd45f2 |
| child 12234 | 9d86f1cd2969 |
| 12012:1d534baa2827 | 12013:8d2372c6b5f3 |
|---|---|
19 AxClass.setup @ |
19 AxClass.setup @ |
20 Latex.setup @ |
20 Latex.setup @ |
21 Present.setup @ |
21 Present.setup @ |
22 Isamode.setup @ |
22 Isamode.setup @ |
23 ProofGeneral.setup @ |
23 ProofGeneral.setup @ |
24 Codegen.setup; |
24 Codegen.setup @ |
25 Goals.setup; |
|
25 in |
26 in |
26 structure Pure = |
27 structure Pure = |
27 struct |
28 struct |
28 val thy = |
29 val thy = |
29 PureThy.begin_theory Sign.PureN [ProtoPure.thy] |
30 PureThy.begin_theory Sign.PureN [ProtoPure.thy] |