src/ZF/QUniv.thy

--- a/src/ZF/QUniv.thy	Mon Oct 20 10:53:25 1997 +0200
+++ b/src/ZF/QUniv.thy	Mon Oct 20 10:53:42 1997 +0200
@@ -13,7 +13,7 @@
 consts
     quniv        :: i=>i
 
-path QUniv
+local
 
 defs
     quniv_def    "quniv(A) == Pow(univ(eclose(A)))"