equal
deleted
inserted
replaced
10 |
10 |
11 ISABELLE_SESSIONS=" |
11 ISABELLE_SESSIONS=" |
12 HOL |
12 HOL |
13 HOL-Algebra |
13 HOL-Algebra |
14 HOL-Auth |
14 HOL-Auth |
15 HOL-BNF |
|
16 HOL-BNF-Examples |
|
17 HOL-BNF-LFP |
|
18 HOL-BNF-Nitpick_Examples |
|
19 HOL-Bali |
15 HOL-Bali |
20 HOL-Cardinals |
16 HOL-Cardinals |
21 HOL-Cardinals-Base |
|
22 HOL-Codegenerator_Test |
17 HOL-Codegenerator_Test |
23 HOL-Datatype_Benchmark |
18 HOL-Datatype_Examples |
24 HOL-Decision_Procs |
19 HOL-Decision_Procs |
25 HOL-Hahn_Banach |
20 HOL-Hahn_Banach |
26 HOL-Hoare |
21 HOL-Hoare |
27 HOL-Hoare_Parallel |
22 HOL-Hoare_Parallel |
28 HOL-IMP |
23 HOL-IMP |
42 HOL-Multivariate_Analysis |
37 HOL-Multivariate_Analysis |
43 HOL-Mutabelle |
38 HOL-Mutabelle |
44 HOL-NSA |
39 HOL-NSA |
45 HOL-NSA-Examples |
40 HOL-NSA-Examples |
46 HOL-NanoJava |
41 HOL-NanoJava |
|
42 HOL-Nitpick_Examples |
47 HOL-Nominal |
43 HOL-Nominal |
48 HOL-Nominal-Examples |
44 HOL-Nominal-Examples |
49 HOL-Number_Theory |
45 HOL-Number_Theory |
50 HOL-Old_Number_Theory |
46 HOL-Old_Number_Theory |
51 HOL-Predicate_Compile_Examples |
47 HOL-Predicate_Compile_Examples |