| changeset 6653 | b0b819902eaa |
| parent 6366 | 0be3281aa578 |
| child 6696 | 68b4f97b57cd |
| 6652:401f14f25648 | 6653:b0b819902eaa |
|---|---|
11 Locale.setup @ |
11 Locale.setup @ |
12 HTML.setup @ |
12 HTML.setup @ |
13 ProofContext.setup @ |
13 ProofContext.setup @ |
14 Method.setup @ |
14 Method.setup @ |
15 Attrib.setup @ |
15 Attrib.setup @ |
16 AxClass.setup; |
16 AxClass.setup @ |
17 BrowserInfo.setup; |
|
17 in |
18 in |
18 structure Pure = |
19 structure Pure = |
19 struct |
20 struct |
20 val thy = |
21 val thy = |
21 PureThy.begin_theory "Pure" [ProtoPure.thy] |
22 PureThy.begin_theory "Pure" [ProtoPure.thy] |