--- a/src/HOL/Import/lazy_seq.ML Sun Mar 01 16:48:06 2009 +0100
+++ b/src/HOL/Import/lazy_seq.ML Sun Mar 01 23:36:12 2009 +0100
@@ -1,5 +1,4 @@
(* Title: HOL/Import/lazy_seq.ML
- ID: $Id$
Author: Sebastian Skalberg, TU Muenchen
Alternative version of lazy sequences.
@@ -408,8 +407,8 @@
make (fn () => copy (f x))
end
-fun EVERY fs = foldr (op THEN) succeed fs
-fun FIRST fs = foldr (op ORELSE) fail fs
+fun EVERY fs = List.foldr (op THEN) succeed fs
+fun FIRST fs = List.foldr (op ORELSE) fail fs
fun TRY f x =
make (fn () =>