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/ProofGeneral/proof_general_pgip.ML
changeset 23178 07ba6b58b3d2
parent 22699 938c1011ac94
child 23226 441f8a0bd766 
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu May 31 23:02:16 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu May 31 23:47:36 2007 +0200
@@ -594,7 +594,7 @@
                                     x::_::_ => SOME x  (* String.find? *)
                                   | _ => NONE
         fun subthys_of_thy s =
-            foldl  (fn (NONE,xs) => xs | (SOME x,xs) => insert op= x xs) []
+            List.foldl  (fn (NONE,xs) => xs | (SOME x,xs) => insert op= x xs) []
                    (map thy_prefix (thms_of_thy s))
         fun subthms_of_thy thy =
             (case thy_prefix thy of
isabelle