src/ZF/QUniv.thy

--- a/src/ZF/QUniv.thy	Tue Jun 18 17:58:21 2002 +0200
+++ b/src/ZF/QUniv.thy	Tue Jun 18 18:45:07 2002 +0200
@@ -21,7 +21,7 @@
   case_eqns	qcase_QInl, qcase_QInr
 
 constdefs
-  quniv :: i => i
+  quniv :: "i => i"
    "quniv(A) == Pow(univ(eclose(A)))"
 
 end