equal
deleted
inserted
replaced
5 Final setup of the Pure theories. |
5 Final setup of the Pure theories. |
6 *) |
6 *) |
7 |
7 |
8 local |
8 local |
9 val common_setup = |
9 val common_setup = |
10 Locale.setup @ |
10 ProofRewriteRules.setup @ |
11 HTML.setup @ |
11 HTML.setup @ |
12 ObjectLogic.setup @ |
12 ObjectLogic.setup @ |
13 ProofContext.setup @ |
13 ProofContext.setup @ |
|
14 Locale.setup @ |
14 Attrib.setup @ |
15 Attrib.setup @ |
15 InductAttrib.setup @ |
16 InductAttrib.setup @ |
16 Method.setup @ |
17 Method.setup @ |
17 Calculation.setup @ |
18 Calculation.setup @ |
18 SkipProof.setup @ |
19 SkipProof.setup @ |