diff -r 5d909faf0e04 -r 0c439768f45c src/ZF/QUniv.thy
--- a/src/ZF/QUniv.thy	Fri Dec 08 19:48:15 1995 +0100
+++ b/src/ZF/QUniv.thy	Sat Dec 09 13:36:11 1995 +0100
@@ -8,7 +8,7 @@
 
 QUniv = Univ + QPair + "mono" + "equalities" +
 consts
-    quniv        :: "i=>i"
+    quniv        :: i=>i
 
 defs
     quniv_def    "quniv(A) == Pow(univ(eclose(A)))"