# HG changeset patch
# User wenzelm
# Date 1162896405 -3600
# Node ID 8154a62bb498b9ee2bc14fb9774d3bd8c15c6846
# Parent  6649bf75b9dc5b02c4d368dbaf5666466ebf5366
updated;

diff -r 6649bf75b9dc -r 8154a62bb498 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"
diff -r 6649bf75b9dc -r 8154a62bb498 etc/isar-keywords-ZF.el
--- 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"
diff -r 6649bf75b9dc -r 8154a62bb498 etc/isar-keywords.el
--- 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"