src/Pure/Pure.thy
changeset 58999 ed09ae4ea2d8
parent 58928 23d0ffd48006
child 59901 840d03805755
     1.1 --- a/src/Pure/Pure.thy	Thu Nov 13 17:28:11 2014 +0100
     1.2 +++ b/src/Pure/Pure.thy	Thu Nov 13 23:45:15 2014 +0100
     1.3 @@ -12,8 +12,8 @@
     1.4      "defines" "fixes" "for" "identifier" "if" "in" "includes" "infix"
     1.5      "infixl" "infixr" "is" "notes" "obtains" "open" "output"
     1.6      "overloaded" "pervasive" "shows" "structure" "unchecked" "where" "|"
     1.7 -  and "text" "text_raw" :: thy_decl
     1.8 -  and "txt" "txt_raw" :: prf_decl % "proof"
     1.9 +  and "text" "txt" :: document_body
    1.10 +  and "text_raw" :: document_raw
    1.11    and "default_sort" :: thy_decl == ""
    1.12    and "typedecl" "type_synonym" "nonterminal" "judgment"
    1.13      "consts" "syntax" "no_syntax" "translations" "no_translations" "defs"