removed out-dated comment;

--- a/src/ZF/ZF.thy	Mon Dec 02 10:19:52 1996 +0100
+++ b/src/ZF/ZF.thy	Mon Dec 02 10:22:41 1996 +0100
@@ -128,10 +128,9 @@
 
   "<x, y, z>"   == "<x, <y, z>>"
   "<x, y>"      == "Pair(x, y)"
-  "%<x,y,zs>.b"   == "split(%x <y,zs>.b)"
-  "%<x,y>.b"      == "split(%x y.b)"
-(* The <= direction fails if split has more than one argument because
-   ast-matching fails.  Otherwise it would work fine *)
+  "%<x,y,zs>.b" == "split(%x <y,zs>.b)"
+  "%<x,y>.b"    == "split(%x y.b)"
+
 
 defs