Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
locale_element: optional typ;
authorwenzelm
Mon, 05 Nov 2001 21:00:45 +0100
changeset 12056 5b5ed7eec3a8
parent 12055 a9c44895cc8c
child 12057 9b1e67278f07
locale_element: optional typ;
src/Pure/Isar/outer_parse.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_parse.ML	Mon Nov 05 20:59:35 2001 +0100
+++ b/src/Pure/Isar/outer_parse.ML	Mon Nov 05 21:00:45 2001 +0100
@@ -306,7 +306,7 @@
 val loc_mixfix = $$$ "(" -- $$$ "structure" -- !!! ($$$ ")") >> K None || opt_mixfix >> Some;
 
 val locale_element =
-  $$$ "fixes" |-- !!! (and_list1 (name -- ($$$ "::" |-- typ) -- loc_mixfix >> triple1))
+  $$$ "fixes" |-- !!! (and_list1 (name -- Scan.option ($$$ "::" |-- typ) -- loc_mixfix >> triple1))
     >> Locale.Fixes ||
   $$$ "assumes" |-- !!! (and_list1 (opt_thm_name ":" -- Scan.repeat1 propp))
     >> Locale.Assumes ||
isabelle