--- a/src/ZF/QPair.thy Fri Jan 03 10:48:28 1997 +0100 +++ b/src/ZF/QPair.thy Fri Jan 03 15:01:55 1997 +0100 @@ -11,7 +11,7 @@ 1966. *) -QPair = Sum + "simpdata" + +QPair = Sum + consts QPair :: [i, i] => i ("<(_;/ _)>") qfst,qsnd :: i => i