--- a/etc/isar-keywords-HOL-Nominal.el Tue Nov 07 11:28:25 2006 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el Tue Nov 07 11:46:45 2006 +0100
@@ -47,19 +47,17 @@
"code_axioms"
"code_class"
"code_const"
- "code_constname"
"code_gen"
"code_instance"
- "code_instname"
"code_library"
"code_module"
+ "code_modulename"
+ "code_moduleprolog"
"code_reserved"
"code_type"
- "code_typename"
"coinductive"
"coinductive2"
"commit"
- "const_syntax"
"constdefs"
"consts"
"consts_code"
@@ -120,6 +118,7 @@
"nominal_datatype"
"nonterminals"
"normal_form"
+ "notation"
"note"
"obtain"
"oops"
@@ -265,7 +264,6 @@
"sequential"
"shows"
"structure"
- "target_atom"
"unchecked"
"uses"
"where"))
@@ -382,17 +380,15 @@
"code_axioms"
"code_class"
"code_const"
- "code_constname"
"code_instance"
- "code_instname"
"code_library"
"code_module"
+ "code_modulename"
+ "code_moduleprolog"
"code_reserved"
"code_type"
- "code_typename"
"coinductive"
"coinductive2"
- "const_syntax"
"constdefs"
"consts"
"consts_code"
@@ -418,6 +414,7 @@
"no_translations"
"nominal_datatype"
"nonterminals"
+ "notation"
"oracle"
"parse_ast_translation"
"parse_translation"
--- a/etc/isar-keywords-ZF.el Tue Nov 07 11:28:25 2006 +0100
+++ b/etc/isar-keywords-ZF.el Tue Nov 07 11:46:45 2006 +0100
@@ -45,18 +45,16 @@
"code_axioms"
"code_class"
"code_const"
- "code_constname"
"code_gen"
"code_instance"
- "code_instname"
"code_library"
"code_module"
+ "code_modulename"
+ "code_moduleprolog"
"code_reserved"
"code_type"
- "code_typename"
"coinductive"
"commit"
- "const_syntax"
"constdefs"
"consts"
"consts_code"
@@ -111,6 +109,7 @@
"no_translations"
"nonterminals"
"normal_form"
+ "notation"
"note"
"obtain"
"oops"
@@ -246,7 +245,6 @@
"recursor_eqns"
"shows"
"structure"
- "target_atom"
"type_elims"
"type_intros"
"unchecked"
@@ -364,16 +362,14 @@
"code_axioms"
"code_class"
"code_const"
- "code_constname"
"code_instance"
- "code_instname"
"code_library"
"code_module"
+ "code_modulename"
+ "code_moduleprolog"
"code_reserved"
"code_type"
- "code_typename"
"coinductive"
- "const_syntax"
"constdefs"
"consts"
"consts_code"
@@ -395,6 +391,7 @@
"no_syntax"
"no_translations"
"nonterminals"
+ "notation"
"oracle"
"parse_ast_translation"
"parse_translation"
--- a/etc/isar-keywords.el Tue Nov 07 11:28:25 2006 +0100
+++ b/etc/isar-keywords.el Tue Nov 07 11:46:45 2006 +0100
@@ -47,19 +47,17 @@
"code_axioms"
"code_class"
"code_const"
- "code_constname"
"code_gen"
"code_instance"
- "code_instname"
"code_library"
"code_module"
+ "code_modulename"
+ "code_moduleprolog"
"code_reserved"
"code_type"
- "code_typename"
"coinductive"
"coinductive2"
"commit"
- "const_syntax"
"constdefs"
"consts"
"consts_code"
@@ -123,6 +121,7 @@
"no_translations"
"nonterminals"
"normal_form"
+ "notation"
"note"
"obtain"
"oops"
@@ -283,7 +282,6 @@
"signature"
"states"
"structure"
- "target_atom"
"to"
"transitions"
"transrel"
@@ -403,17 +401,15 @@
"code_axioms"
"code_class"
"code_const"
- "code_constname"
"code_instance"
- "code_instname"
"code_library"
"code_module"
+ "code_modulename"
+ "code_moduleprolog"
"code_reserved"
"code_type"
- "code_typename"
"coinductive"
"coinductive2"
- "const_syntax"
"constdefs"
"consts"
"consts_code"
@@ -441,6 +437,7 @@
"no_syntax"
"no_translations"
"nonterminals"
+ "notation"
"oracle"
"parse_ast_translation"
"parse_translation"