equal
deleted
inserted
replaced
16 HOL-Bali \ |
16 HOL-Bali \ |
17 HOL-Complex-ex \ |
17 HOL-Complex-ex \ |
18 HOL-CTL \ |
18 HOL-CTL \ |
19 HOL-Extraction \ |
19 HOL-Extraction \ |
20 HOL-Complex-HahnBanach \ |
20 HOL-Complex-HahnBanach \ |
21 ####lcp temporary####HOL-Complex-Import \ |
|
22 HOL-Hoare \ |
21 HOL-Hoare \ |
23 HOL-HoareParallel \ |
22 HOL-HoareParallel \ |
24 HOL-IMP \ |
23 HOL-IMP \ |
25 HOL-IMPP \ |
24 HOL-IMPP \ |
26 HOL-IOA \ |
25 HOL-IOA \ |
42 HOL-UNITY \ |
41 HOL-UNITY \ |
43 HOL-Unix \ |
42 HOL-Unix \ |
44 HOL-W0 \ |
43 HOL-W0 \ |
45 HOL-ex |
44 HOL-ex |
46 # ^ this is the sort position |
45 # ^ this is the sort position |
|
46 ####lcp temporary####HOL-Complex-Import \ |
47 |
47 |
48 all: test images |
48 all: test images |
49 |
49 |
50 |
50 |
51 ## global settings |
51 ## global settings |