clarified indentation;
authorwenzelm
Mon Jul 11 20:58:00 2016 +0200 (2016-07-11)
changeset 63451c4c587aedee8
parent 63450 afd657fffdf9
child 63452 52349e41d5dc
clarified indentation;
src/Pure/Pure.thy
     1.1 --- a/src/Pure/Pure.thy	Mon Jul 11 20:37:28 2016 +0200
     1.2 +++ b/src/Pure/Pure.thy	Mon Jul 11 20:58:00 2016 +0200
     1.3 @@ -8,11 +8,10 @@
     1.4  keywords
     1.5      "!!" "!" "+" "--" ":" ";" "<" "<=" "=" "=>" "?" "[" "\<comment>" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>" "\<rightleftharpoons>"
     1.6      "\<subseteq>" "]" "attach" "binder" "for" "if" "in" "infix" "infixl" "infixr" "is"
     1.7 -    "open" "output" "overloaded" "pervasive" "premises" "structure" "unchecked"
     1.8 -    "where" "when" "|"
     1.9 +    "open" "output" "overloaded" "pervasive" "premises" "structure" "unchecked" "when"
    1.10    and "private" "qualified" :: before_command
    1.11    and "assumes" "constrains" "defines" "fixes" "includes" "notes" "rewrites"
    1.12 -    "obtains" "shows" :: quasi_command
    1.13 +    "obtains" "shows" "where" "|" :: quasi_command
    1.14    and "text" "txt" :: document_body
    1.15    and "text_raw" :: document_raw
    1.16    and "default_sort" :: thy_decl == ""