diff -r f45c708bcc01 -r 2db3711b2b03 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Fri Apr 16 22:45:07 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Apr 16 22:52:49 2010 +0200
@@ -82,7 +82,10 @@
     "header"
     "help"
     "hence"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "inductive_cases"
     "init_toplevel"
@@ -372,7 +375,10 @@
     "extract_type"
     "finalconsts"
     "global"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "instantiation"
     "judgment"