--- 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"
--- a/etc/isar-keywords.el Fri Apr 16 22:45:07 2010 +0200
+++ b/etc/isar-keywords.el Fri Apr 16 22:52:49 2010 +0200
@@ -115,7 +115,10 @@
"header"
"help"
"hence"
- "hide"
+ "hide_class"
+ "hide_const"
+ "hide_fact"
+ "hide_type"
"inductive"
"inductive_cases"
"inductive_set"
@@ -494,7 +497,10 @@
"fixrec"
"fun"
"global"
- "hide"
+ "hide_class"
+ "hide_const"
+ "hide_fact"
+ "hide_type"
"inductive"
"inductive_set"
"instantiation"