changeset 7718 | 86755cc5b83c |
parent 6888 | d0c68ebdabc5 |
child 8965 | d46b36785c70 |
7717:e7ecfa617443 | 7718:86755cc5b83c |
---|---|
13 Attrib.setup @ |
13 Attrib.setup @ |
14 Method.setup @ |
14 Method.setup @ |
15 Calculation.setup @ |
15 Calculation.setup @ |
16 SkipProof.setup @ |
16 SkipProof.setup @ |
17 AxClass.setup @ |
17 AxClass.setup @ |
18 BrowserInfo.setup @ |
18 Present.setup @ |
19 Isamode.setup @ |
19 Isamode.setup @ |
20 ProofGeneral.setup; |
20 ProofGeneral.setup; |
21 in |
21 in |
22 structure Pure = |
22 structure Pure = |
23 struct |
23 struct |