fully qualified name: Theory.set_oracle;
authorwenzelm
Wed Oct 01 18:19:44 1997 +0200 (1997-10-01)
changeset 3770294b5905f4eb
parent 3769 931c336b0707
child 3771 ede66fb99880
fully qualified name: Theory.set_oracle;
src/Pure/Thy/thy_parse.ML
     1.1 --- a/src/Pure/Thy/thy_parse.ML	Wed Oct 01 18:19:18 1997 +0200
     1.2 +++ b/src/Pure/Thy/thy_parse.ML	Wed Oct 01 18:19:44 1997 +0200
     1.3 @@ -533,7 +533,7 @@
     1.4    "+", ",", "<", "{", "}", "(", ")", "[", "]", "::", "==", "=>", "<="];
     1.5  
     1.6  val pure_sections =
     1.7 - [section "oracle" "|> set_oracle" (name >> strip_quotes),
     1.8 + [section "oracle" "|> Theory.set_oracle" (name >> strip_quotes),
     1.9    section "classes" "|> Theory.add_classes" class_decls,
    1.10    section "default" "|> Theory.add_defsort" sort,
    1.11    section "types" "" type_decls,