# HG changeset patch
# User haftmann
# Date 1171095966 -3600
# Node ID c565f33ec70f8667b2aca8fe0de0d413138609fe
# Parent  9985a79735c7cc470a7ef087e9ee905fbb8ac61a
updated keywords

diff -r 9985a79735c7 -r c565f33ec70f etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Thu Feb 08 18:14:13 2007 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Sat Feb 10 09:26:06 2007 +0100
@@ -51,6 +51,7 @@
     "code_moduleprolog"
     "code_monad"
     "code_reserved"
+    "code_thms"
     "code_type"
     "coinductive"
     "coinductive2"
@@ -139,7 +140,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -244,6 +245,7 @@
     "for"
     "freshness_context"
     "hints"
+    "identifier"
     "if"
     "imports"
     "in"
@@ -295,6 +297,7 @@
     "cd"
     "class_deps"
     "code_gen"
+    "code_thms"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -315,7 +318,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
diff -r 9985a79735c7 -r c565f33ec70f etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Thu Feb 08 18:14:13 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Feb 10 09:26:06 2007 +0100
@@ -49,6 +49,7 @@
     "code_moduleprolog"
     "code_monad"
     "code_reserved"
+    "code_thms"
     "code_type"
     "coinductive"
     "commit"
@@ -129,7 +130,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -227,6 +228,7 @@
     "file"
     "fixes"
     "for"
+    "identifier"
     "if"
     "imports"
     "in"
@@ -274,6 +276,7 @@
     "cd"
     "class_deps"
     "code_gen"
+    "code_thms"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -294,7 +297,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
diff -r 9985a79735c7 -r c565f33ec70f etc/isar-keywords.el
--- a/etc/isar-keywords.el	Thu Feb 08 18:14:13 2007 +0100
+++ b/etc/isar-keywords.el	Sat Feb 10 09:26:06 2007 +0100
@@ -51,6 +51,7 @@
     "code_moduleprolog"
     "code_monad"
     "code_reserved"
+    "code_thms"
     "code_type"
     "coinductive"
     "coinductive2"
@@ -142,7 +143,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -249,6 +250,7 @@
     "for"
     "hide_action"
     "hints"
+    "identifier"
     "if"
     "imports"
     "in"
@@ -313,6 +315,7 @@
     "cd"
     "class_deps"
     "code_gen"
+    "code_thms"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -333,7 +336,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"