| changeset 39083 | b47ee8df7ab4 |
| parent 38956 | 8915e3ce8655 |
| child 39529 | 635e09dea465 |
| 39082:52cee2c5f219 | 39083:b47ee8df7ab4 |
|---|---|
1 ;; |
1 ;; |
2 ;; Keyword classification tables for Isabelle/Isar. |
2 ;; Keyword classification tables for Isabelle/Isar. |
3 ;; Generated from Pure + Pure-ProofGeneral + FOL + ZF. |
3 ;; Generated from Pure + FOL + ZF. |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
5 ;; |
5 ;; |
6 |
6 |
7 (defconst isar-keywords-major |
7 (defconst isar-keywords-major |
8 '("\\." |
8 '("\\." |