diff -r 0cc3ff184282 -r 64ee6a2ca6d6 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Thu Feb 28 16:54:56 2008 +0100
+++ b/etc/isar-keywords-ZF.el	Thu Feb 28 17:33:35 2008 +0100
@@ -193,6 +193,7 @@
     "undo"
     "undos_proof"
     "unfolding"
+    "unused_thms"
     "use"
     "use_thy"
     "using"
@@ -317,6 +318,7 @@
     "touch_child_thys"
     "touch_thy"
     "typ"
+    "unused_thms"
     "use"
     "use_thy"
     "value"