--- a/lib/ur/listPair.ur	Tue Jun 16 14:38:01 2009 -0400
+++ b/lib/ur/listPair.ur	Tue Jun 16 17:52:44 2009 -0400
@@ -1,15 +1,15 @@
-fun foldlPartial [a] [b] [c] f =
+fun foldlAbort [a] [b] [c] f =
     let
-        fun foldlPartial' acc ls1 ls2 =
+        fun foldlAbort' acc ls1 ls2 =
             case (ls1, ls2) of
                 ([], []) => Some acc
               | (x1 :: ls1, x2 :: ls2) =>
                 (case f x1 x2 acc of
                      None => None
-                   | Some acc' => foldlPartial' acc' ls1 ls2)
+                   | Some acc' => foldlAbort' acc' ls1 ls2)
               | _ => None
     in
-        foldlPartial'
+        foldlAbort'
     end
 
 fun mapX [a] [b] [ctx ::: {Unit}] f =