| changeset 46790 | f3c10e908f65 |
| parent 46785 | 150f37dad503 |
| child 46795 | 72c77ea184e6 |
| 46789:074dc33767a5 | 46790:f3c10e908f65 |
|---|---|
20 HOL-Word \ |
20 HOL-Word \ |
21 HOLCF \ |
21 HOLCF \ |
22 Import-HOL4 \ |
22 Import-HOL4 \ |
23 Import-HOL_Light \ |
23 Import-HOL_Light \ |
24 Import-HOL4-Imported \ |
24 Import-HOL4-Imported \ |
25 Import-HOL_Light-Imported \ |
25 # Import-HOL_Light-Imported \ FIXME not operative at the moment \ |
26 IOA \ |
26 IOA \ |
27 TLA \ |
27 TLA \ |
28 HOL-Base \ |
28 HOL-Base \ |
29 HOL-Main \ |
29 HOL-Main \ |
30 HOL-Plain |
30 HOL-Plain |