etc/isar-keywords.el
changeset 21203 8154a62bb498
parent 21057 c45591716692
child 21302 4c8f3dfc7124
--- 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"