etc/isar-keywords.el
changeset 24249 1f60b45c5f97
parent 24120 2ce3945228d8
child 24343 acc0f7aac619
--- a/etc/isar-keywords.el	Mon Aug 13 21:22:36 2007 +0200
+++ b/etc/isar-keywords.el	Mon Aug 13 21:22:37 2007 +0200
@@ -222,7 +222,6 @@
     "undo"
     "undos_proof"
     "unfolding"
-    "update_thy"
     "use"
     "use_thy"
     "using"
@@ -267,6 +266,7 @@
     "internals"
     "is"
     "lazy"
+    "module_name"
     "monos"
     "morphisms"
     "notes"
@@ -370,7 +370,6 @@
     "touch_child_thys"
     "touch_thy"
     "typ"
-    "update_thy"
     "use"
     "use_thy"
     "value"