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