
diff -r 8f394f266025 -r 01fa0c8dbc92 src/ZF/QPair.thy
--- a/src/ZF/QPair.thy	Fri Jun 28 20:01:09 2002 +0200
+++ b/src/ZF/QPair.thy	Sat Jun 29 21:33:06 2002 +0200
@@ -11,7 +11,7 @@
 1966.
 *)
 
-QPair = Sum +
+QPair = Sum + mono +
 
 consts
   QPair     :: "[i, i] => i"                      ("<(_;/ _)>")




