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"