src/Pure/Pure.thy
changeset 66194 8d34d42c40cb
parent 64677 8dc24130e8fe
child 66248 df85956228c2
     1.1 --- a/src/Pure/Pure.thy	Sat Jun 24 21:23:48 2017 +0200
     1.2 +++ b/src/Pure/Pure.thy	Mon Jun 26 11:07:48 2017 +0200
     1.3 @@ -7,11 +7,11 @@
     1.4  theory Pure
     1.5  keywords
     1.6      "!!" "!" "+" "--" ":" ";" "<" "<=" "==" "=>" "?" "[" "\<comment>" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>" "\<rightleftharpoons>"
     1.7 -    "\<subseteq>" "]" "attach" "binder" "for" "if" "in" "infix" "infixl" "infixr" "is"
     1.8 -    "open" "output" "overloaded" "pervasive" "premises" "structure" "unchecked" "when"
     1.9 +    "\<subseteq>" "]" "attach" "binder" "in" "infix" "infixl" "infixr" "is" "open" "output"
    1.10 +    "overloaded" "pervasive" "premises" "structure" "unchecked"
    1.11    and "private" "qualified" :: before_command
    1.12 -  and "assumes" "constrains" "defines" "fixes" "includes" "notes" "rewrites"
    1.13 -    "obtains" "shows" "where" "|" :: quasi_command
    1.14 +  and "assumes" "constrains" "defines" "fixes" "for" "if" "includes" "notes" "rewrites"
    1.15 +    "obtains" "shows" "when" "where" "|" :: quasi_command
    1.16    and "text" "txt" :: document_body
    1.17    and "text_raw" :: document_raw
    1.18    and "default_sort" :: thy_decl