equal
deleted
inserted
replaced
12 HOL |
12 HOL |
13 HOL-Algebra |
13 HOL-Algebra |
14 HOL-Auth |
14 HOL-Auth |
15 HOL-BNF |
15 HOL-BNF |
16 HOL-BNF-Examples |
16 HOL-BNF-Examples |
|
17 HOL-BNF-LFP |
17 HOL-BNF-Nitpick_Examples |
18 HOL-BNF-Nitpick_Examples |
18 HOL-BNF-LFP |
|
19 HOL-Bali |
19 HOL-Bali |
20 HOL-Boogie |
|
21 HOL-Boogie-Examples |
|
22 HOL-Cardinals |
20 HOL-Cardinals |
23 HOL-Cardinals-Base |
21 HOL-Cardinals-Base |
24 HOL-Codegenerator_Test |
22 HOL-Codegenerator_Test |
25 HOL-Datatype_Benchmark |
23 HOL-Datatype_Benchmark |
26 HOL-Decision_Procs |
24 HOL-Decision_Procs |