etc/isar-keywords-ZF.el

--- a/etc/isar-keywords-ZF.el	Fri Aug 27 21:23:31 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Aug 27 22:09:51 2010 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + Pure-ProofGeneral + FOL + ZF.
+;; Generated from Pure + FOL + ZF.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;