src/ZF/QPair.thy

--- a/src/ZF/QPair.thy	Sun Jul 14 15:14:43 2002 +0200
+++ b/src/ZF/QPair.thy	Sun Jul 14 19:59:55 2002 +0200
@@ -11,7 +11,7 @@
 
 header{*Quine-Inspired Ordered Pairs and Disjoint Sums*}
 
-theory QPair = Sum + mono:
+theory QPair = Sum + func:
 
 text{*For non-well-founded data
 structures in ZF.  Does not precisely follow Quine's construction.  Thanks