etc/isar-keywords-HOL-Nominal.el

--- 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"