src/Pure/General/seq.ML
changeset 21395 f34ac19659ae
parent 21270 b82f4c16355e
child 23178 07ba6b58b3d2
     1.1 --- a/src/Pure/General/seq.ML	Thu Nov 16 01:07:23 2006 +0100
     1.2 +++ b/src/Pure/General/seq.ML	Thu Nov 16 01:07:25 2006 +0100
     1.3 @@ -80,7 +80,7 @@
     1.4  
     1.5  (*partial function as procedure*)
     1.6  fun try f x =
     1.7 -  (case Library.try f x of
     1.8 +  (case Basics.try f x of
     1.9      SOME y => single y
    1.10    | NONE => empty);
    1.11  
    1.12 @@ -92,7 +92,7 @@
    1.13    else
    1.14      (case pull xq of
    1.15        NONE => ([], xq)
    1.16 -    | SOME (x, xq') => apfst (Library.cons x) (chop (n - 1) xq'));
    1.17 +    | SOME (x, xq') => apfst (Basics.cons x) (chop (n - 1) xq'));
    1.18  
    1.19  (*conversion from sequence to list*)
    1.20  fun list_of xq =