diff -r 0850d43cb355 -r 71fc3776c453 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Wed Feb 27 16:27:44 2013 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Feb 27 17:32:17 2013 +0100
@@ -200,7 +200,6 @@
     "undos_proof"
     "unfolding"
     "unused_thms"
-    "use"
     "use_thy"
     "using"
     "welcome"
@@ -407,8 +406,7 @@
     "type_notation"
     "type_synonym"
     "typed_print_translation"
-    "typedecl"
-    "use"))
+    "typedecl"))
 
 (defconst isar-keywords-theory-script
   '("inductive_cases"))