diff -r 70223ad97843 -r 8aa2b380614a src/Pure/IsaPlanner/isaplib.ML
--- a/src/Pure/IsaPlanner/isaplib.ML	Wed Apr 26 22:38:11 2006 +0200
+++ b/src/Pure/IsaPlanner/isaplib.ML	Wed Apr 26 22:38:16 2006 +0200
@@ -143,7 +143,7 @@
 	    (case Seq.pull s2 of 
 	       NONE => NONE
 	     | SOME (a2,s3) => 
-	       SOME (a, all_but_last_of_seq (Seq.cons (a2,s3))))
+	       SOME (a, all_but_last_of_seq (Seq.cons a2 s3)))
     in
       Seq.make f
     end;
@@ -178,7 +178,7 @@
             NONE => skipmore n
           | SOME (h,t) => 
             (case Seq.pull h of NONE => skip_occs n t
-             | SOME _ => if n <= 1 then skipseq (Seq.cons (h, t))
+             | SOME _ => if n <= 1 then skipseq (Seq.cons h t)
                          else skip_occs (n - 1) t)
     in (skip_occs m s) end;