# HG changeset patch
# User haftmann
# Date 1150120692 -7200
# Node ID 9c1732a66b0bc1bc39d1841206c4e78cc967f045
# Parent  cb73c3c367dba6fc6b1f04127fcf1e7fdc116402
updated keywords

diff -r cb73c3c367db -r 9c1732a66b0b etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Mon Jun 12 11:59:25 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Mon Jun 12 15:58:12 2006 +0200
@@ -46,9 +46,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -112,7 +109,7 @@
     "no_translations"
     "nominal_datatype"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "note"
     "obtain"
     "oops"
@@ -366,9 +363,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -398,7 +392,7 @@
     "no_translations"
     "nominal_datatype"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "oracle"
     "parse_ast_translation"
     "parse_translation"
diff -r cb73c3c367db -r 9c1732a66b0b etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Jun 12 11:59:25 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Jun 12 15:58:12 2006 +0200
@@ -44,9 +44,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -107,7 +104,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "note"
     "obtain"
     "oops"
@@ -354,9 +351,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -384,7 +378,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "oracle"
     "parse_ast_translation"
     "parse_translation"
diff -r cb73c3c367db -r 9c1732a66b0b etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Jun 12 11:59:25 2006 +0200
+++ b/etc/isar-keywords.el	Mon Jun 12 15:58:12 2006 +0200
@@ -46,9 +46,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -115,7 +112,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "note"
     "obtain"
     "oops"
@@ -387,9 +384,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -421,7 +415,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "oracle"
     "parse_ast_translation"
     "parse_translation"