src/ZF/qpair.thy
changeset 124 858ab9a9b047
parent 120 09287f26bfb8
--- a/src/ZF/qpair.thy	Tue Nov 16 14:23:19 1993 +0100
+++ b/src/ZF/qpair.thy	Tue Nov 16 14:24:21 1993 +0100
@@ -11,7 +11,7 @@
 1966.
 *)
 
-QPair = Sum +
+QPair = Sum + "simpdata" +
 consts
   QPair     :: "[i, i] => i"               	("<(_;/ _)>")
   qsplit    :: "[[i,i] => i, i] => i"