--- 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