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/HOL/Tools/BNF/bnf_lift.ML
changeset 62969 9f394a16c557
parent 62777 596baa1a3251
child 63023 1f4b011c5738 
--- a/src/HOL/Tools/BNF/bnf_lift.ML	Wed Apr 13 17:00:02 2016 +0200
+++ b/src/HOL/Tools/BNF/bnf_lift.ML	Wed Apr 13 18:01:05 2016 +0200
@@ -426,7 +426,7 @@
   Scan.optional (@{keyword "("} |-- Plugin_Name.parse_filter --| @{keyword ")"})
     (K Plugin_Name.default_filter) >> Plugins_Option >> single;
 
-val parse_typedef_thm = Scan.option (Parse.reserved "via" |-- Parse.xthm);
+val parse_typedef_thm = Scan.option (Parse.reserved "via" |-- Parse.thm);
 
 in
isabelle