src/ZF/QPair.thy

--- a/src/ZF/QPair.thy	Mon Oct 20 10:53:25 1997 +0200
+++ b/src/ZF/QPair.thy	Mon Oct 20 10:53:42 1997 +0200
@@ -34,7 +34,7 @@
   "QSUM x:A. B"  => "QSigma(A, %x. B)"
   "A <*> B"      => "QSigma(A, _K(B))"
 
-path QPair
+local
 
 defs
   QPair_def       "<a;b> == a+b"