changeset 39083 | b47ee8df7ab4 |
parent 38956 | 8915e3ce8655 |
child 39529 | 635e09dea465 |
1.1 --- a/etc/isar-keywords-ZF.el Fri Aug 27 21:23:31 2010 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Fri Aug 27 22:09:51 2010 +0200 1.3 @@ -1,6 +1,6 @@ 1.4 ;; 1.5 ;; Keyword classification tables for Isabelle/Isar. 1.6 -;; Generated from Pure + Pure-ProofGeneral + FOL + ZF. 1.7 +;; Generated from Pure + FOL + ZF. 1.8 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** 1.9 ;; 1.10