etc/isar-keywords.el
changeset 22486 d3b6cb2306b6
parent 22288 c565f33ec70f
child 22864 e2511e6e5cbb
--- 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"