Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_parse.ML
changeset 1850 c6b6ccfd390c
parent 1810 0eef167ebe1b
child 2203 c2dbdc2ef781 
--- a/src/Pure/Thy/thy_parse.ML	Thu Jul 11 15:14:41 1996 +0200
+++ b/src/Pure/Thy/thy_parse.ML	Thu Jul 11 15:18:57 1996 +0200
@@ -523,7 +523,7 @@
   "{", "}", "(", ")", "[", "]", "::", "==", "=>", "<="];
 
 val pure_sections =
- [section "oracle" "|> set_oracle" ident,
+ [section "oracle" "|> set_oracle" (name >> strip_quotes),
   section "classes" "|> add_classes" class_decls,
   section "default" "|> add_defsort" sort,
   section "types" "" type_decls,
isabelle