# HG changeset patch
# User haftmann
# Date 1174402363 -3600
# Node ID d3b6cb2306b6e7962814860188b5979eee7bd0d3
# Parent  3a7d623485fa0a91687537e7fd08306f5fa6e26c
updated keywords

diff -r 3a7d623485fa -r d3b6cb2306b6 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Tue Mar 20 15:52:42 2007 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Tue Mar 20 15:52:43 2007 +0100
@@ -43,6 +43,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_gen"
     "code_instance"
     "code_library"
@@ -199,6 +200,7 @@
     "thm"
     "thm_deps"
     "thus"
+    "thy_deps"
     "token_translation"
     "touch_all_thys"
     "touch_child_thys"
@@ -344,6 +346,7 @@
     "term"
     "thm"
     "thm_deps"
+    "thy_deps"
     "touch_all_thys"
     "touch_child_thys"
     "touch_thy"
@@ -386,6 +389,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_instance"
     "code_library"
     "code_module"
diff -r 3a7d623485fa -r d3b6cb2306b6 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Mar 20 15:52:42 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Mar 20 15:52:43 2007 +0100
@@ -41,6 +41,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_gen"
     "code_instance"
     "code_library"
@@ -182,6 +183,7 @@
     "thm"
     "thm_deps"
     "thus"
+    "thy_deps"
     "token_translation"
     "touch_all_thys"
     "touch_child_thys"
@@ -322,6 +324,7 @@
     "term"
     "thm"
     "thm_deps"
+    "thy_deps"
     "touch_all_thys"
     "touch_child_thys"
     "touch_thy"
@@ -364,6 +367,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_instance"
     "code_library"
     "code_module"
diff -r 3a7d623485fa -r d3b6cb2306b6 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Mar 20 15:52:42 2007 +0100
+++ b/etc/isar-keywords.el	Tue Mar 20 15:52:43 2007 +0100
@@ -43,6 +43,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_gen"
     "code_instance"
     "code_library"
@@ -201,6 +202,7 @@
     "thm"
     "thm_deps"
     "thus"
+    "thy_deps"
     "token_translation"
     "touch_all_thys"
     "touch_child_thys"
@@ -361,6 +363,7 @@
     "term"
     "thm"
     "thm_deps"
+    "thy_deps"
     "touch_all_thys"
     "touch_child_thys"
     "touch_thy"
@@ -403,6 +406,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_instance"
     "code_library"
     "code_module"