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/Tools/eqsubst.ML
changeset 36960 01594f816e3a
parent 33243 17014b1b9353
child 40722 441260986b63 
--- a/src/Tools/eqsubst.ML	Mon May 17 15:11:25 2010 +0200
+++ b/src/Tools/eqsubst.ML	Mon May 17 23:54:15 2010 +0200
@@ -556,7 +556,7 @@
      (Scan.succeed false);
 
 val ith_syntax =
-    Scan.optional (Args.parens (Scan.repeat OuterParse.nat)) [0];
+    Scan.optional (Args.parens (Scan.repeat Parse.nat)) [0];
 
 (* combination method that takes a flag (true indicates that subst
    should be done to an assumption, false = apply to the conclusion of
isabelle