equal
deleted
inserted
replaced
8 THIS=$(cd "$(dirname "$0")"; pwd -P) |
8 THIS=$(cd "$(dirname "$0")"; pwd -P) |
9 |
9 |
10 PLATFORMS="at-poly at-sml-dev at64-poly at-poly-5.1-para-e at64-poly-5.1-para at-mac-poly-5.1-para afp" |
10 PLATFORMS="at-poly at-sml-dev at64-poly at-poly-5.1-para-e at64-poly-5.1-para at-mac-poly-5.1-para afp" |
11 |
11 |
12 ISABELLE_SESSIONS="\ |
12 ISABELLE_SESSIONS="\ |
|
13 HOL-Plain \ |
13 HOL \ |
14 HOL \ |
14 HOL-Algebra \ |
15 HOL-Algebra \ |
15 HOL-Auth \ |
16 HOL-Auth \ |
16 HOL-Bali \ |
17 HOL-Bali \ |
17 HOL-Complex \ |
18 HOL-Complex \ |
23 HOL-Library \ |
24 HOL-Library \ |
24 HOL-MetisExamples \ |
25 HOL-MetisExamples \ |
25 HOL-MicroJava \ |
26 HOL-MicroJava \ |
26 HOL-Nominal-Examples \ |
27 HOL-Nominal-Examples \ |
27 HOL-NumberTheory \ |
28 HOL-NumberTheory \ |
28 HOL-Plain \ |
|
29 HOL-SET-Protocol \ |
29 HOL-SET-Protocol \ |
30 HOL-UNITY \ |
30 HOL-UNITY \ |
31 HOL-ex \ |
31 HOL-ex \ |
32 ZF \ |
32 ZF \ |
33 ZF-Constructible\ |
33 ZF-Constructible\ |