--- a/src/Pure/Pure.thy Fri Nov 07 16:22:25 2014 +0100
+++ b/src/Pure/Pure.thy Fri Nov 07 16:36:55 2014 +0100
@@ -6,18 +6,12 @@
theory Pure
keywords
- "!!" "!" "%" "(" ")" "+" "," "--" ":" "::" ";" "<" "<=" "=" "=="
- "=>" "?" "[" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>"
- "\<rightleftharpoons>" "\<subseteq>" "]" "and" "assumes"
- "attach" "begin" "binder" "constrains" "defines" "fixes" "for"
- "identifier" "if" "imports" "in" "includes" "infix" "infixl"
- "infixr" "is" "keywords" "notes" "obtains" "open" "output"
+ "!!" "!" "+" "--" ":" ";" "<" "<=" "=" "=>" "?" "[" "\<equiv>"
+ "\<leftharpoondown>" "\<rightharpoonup>" "\<rightleftharpoons>"
+ "\<subseteq>" "]" "assumes" "attach" "binder" "constrains"
+ "defines" "fixes" "for" "identifier" "if" "in" "includes" "infix"
+ "infixl" "infixr" "is" "notes" "obtains" "open" "output"
"overloaded" "pervasive" "shows" "structure" "unchecked" "where" "|"
- and "header" :: heading
- and "chapter" :: heading
- and "section" :: heading
- and "subsection" :: heading
- and "subsubsection" :: heading
and "text" "text_raw" :: thy_decl
and "txt" "txt_raw" :: prf_decl % "proof"
and "default_sort" :: thy_decl == ""