src/Pure/General/seq.ML
changeset 16002 e0557c452138
parent 15574 b1d1b5bfc464
child 16534 95460b6eb712
     1.1 --- a/src/Pure/General/seq.ML	Wed May 18 11:30:58 2005 +0200
     1.2 +++ b/src/Pure/General/seq.ML	Wed May 18 11:30:59 2005 +0200
     1.3 @@ -71,8 +71,8 @@
     1.4  fun single x = cons (x, empty);
     1.5  
     1.6  (*head and tail -- beware of calling the sequence function twice!!*)
     1.7 -fun hd xq = #1 (valOf (pull xq))
     1.8 -and tl xq = #2 (valOf (pull xq));
     1.9 +fun hd xq = #1 (the (pull xq))
    1.10 +and tl xq = #2 (the (pull xq));
    1.11  
    1.12  (*partial function as procedure*)
    1.13  fun try f x =