src/Pure/General/lazy_seq.ML

--- a/src/Pure/General/lazy_seq.ML	Fri Mar 04 11:44:26 2005 +0100
+++ b/src/Pure/General/lazy_seq.ML	Fri Mar 04 15:07:34 2005 +0100
@@ -397,8 +397,8 @@
 	make (fn () => copy (f x))
     end
 
-fun EVERY fs = Library.foldr THEN (fs, succeed)
-fun FIRST fs = Library.foldr ORELSE (fs, fail)
+fun EVERY fs = foldr THEN succeed fs
+fun FIRST fs = foldr ORELSE fail fs
 
 fun TRY f x =
     make (fn () =>