src/Pure/Thy/thy_parse.ML
changeset 1539 f21c8fab7c3c
parent 1512 ce37c64244c0
child 1555 a5f48457dfd5
     1.1 --- a/src/Pure/Thy/thy_parse.ML	Tue Mar 05 13:18:58 1996 +0100
     1.2 +++ b/src/Pure/Thy/thy_parse.ML	Tue Mar 05 15:52:59 1996 +0100
     1.3 @@ -504,7 +504,8 @@
     1.4    "{", "}", "(", ")", "[", "]", "::", "==", "=>", "<="];
     1.5  
     1.6  val pure_sections =
     1.7 - [section "classes" "|> add_classes" class_decls,
     1.8 + [section "oracle" "|> set_oracle" ident,
     1.9 +  section "classes" "|> add_classes" class_decls,
    1.10    section "default" "|> add_defsort" sort,
    1.11    section "types" "" type_decls,
    1.12    section "arities" "|> add_arities" arity_decls,