changeset 24912 | 52bc004950c4 |
parent 24904 | 5b59fadfe878 |
child 24919 | ad3a8569759c |
24911:4efb68e5576d | 24912:52bc004950c4 |
---|---|
1 ;; |
1 ;; |
2 ;; Keyword classification tables for Isabelle/Isar. |
2 ;; Keyword classification tables for Isabelle/Isar. |
3 ;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal |
3 ;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal. |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
5 ;; |
5 ;; |
6 ;; $Id$ |
6 ;; $Id$ |
7 ;; |
7 ;; |
8 |
8 |