changeset 36180 | 2db3711b2b03 |
parent 36114 | e49fd7b1d932 |
child 36321 | 58d4dc6000fc |
--- 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"