
diff -r 8799eadf61fb -r 05b1bbae748d src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Tue Feb 26 20:11:11 2013 +0100
+++ b/src/Pure/Pure.thy	Wed Feb 27 12:45:19 2013 +0100
@@ -12,8 +12,7 @@
     "attach" "begin" "binder" "constrains" "defines" "fixes" "for"
     "identifier" "if" "imports" "in" "includes" "infix" "infixl"
     "infixr" "is" "keywords" "notes" "obtains" "open" "output"
-    "overloaded" "pervasive" "shows" "structure" "unchecked" "uses"
-    "where" "|"
+    "overloaded" "pervasive" "shows" "structure" "unchecked" "where" "|"
   and "header" :: diag
   and "chapter" :: thy_heading1
   and "section" :: thy_heading2




