src/ZF/Inductive.thy

--- a/src/ZF/Inductive.thy	Fri Jun 28 20:01:09 2002 +0200
+++ b/src/ZF/Inductive.thy	Sat Jun 29 21:33:06 2002 +0200
@@ -6,7 +6,7 @@
 (Co)Inductive Definitions for Zermelo-Fraenkel Set Theory.
 *)
 
-theory Inductive = Fixedpt + mono
+theory Inductive = Fixedpt + mono + QPair
   files
     "ind_syntax.ML"
     "Tools/cartprod.ML"