equal
deleted
inserted
replaced
9 images: \ |
9 images: \ |
10 HOL \ |
10 HOL \ |
11 HOL-Library \ |
11 HOL-Library \ |
12 HOL-Algebra \ |
12 HOL-Algebra \ |
13 HOL-Boogie \ |
13 HOL-Boogie \ |
14 HOL-HOL4 \ |
|
15 HOL-HOL_Light \ |
|
16 HOL-HOL4-Imported \ |
|
17 # HOL-HOL_Light-Imported \ FIXME not operative at the moment \ |
|
18 HOL-IMP \ |
14 HOL-IMP \ |
19 HOL-Multivariate_Analysis \ |
15 HOL-Multivariate_Analysis \ |
20 HOL-NSA \ |
16 HOL-NSA \ |
21 HOL-Nominal \ |
17 HOL-Nominal \ |
22 HOL-Proofs \ |
18 HOL-Proofs \ |
40 HOLCF-FOCUS \ |
36 HOLCF-FOCUS \ |
41 HOLCF-IMP \ |
37 HOLCF-IMP \ |
42 HOLCF-Library \ |
38 HOLCF-Library \ |
43 HOLCF-Tutorial \ |
39 HOLCF-Tutorial \ |
44 HOLCF-ex \ |
40 HOLCF-ex \ |
|
41 HOL-HOL4 \ |
|
42 HOL-HOL4-Imported \ |
|
43 HOL-HOL_Light \ |
|
44 # HOL-HOL_Light-Imported \ FIXME not operative at the moment \ |
45 HOL-IMPP \ |
45 HOL-IMPP \ |
46 HOL-IOA \ |
46 HOL-IOA \ |
47 IOA-ABP \ |
47 IOA-ABP \ |
48 IOA-NTP \ |
48 IOA-NTP \ |
49 IOA-Storage \ |
49 IOA-Storage \ |