src/ZF/QPair.thy

--- a/src/ZF/QPair.thy	Fri Aug 12 12:28:46 1994 +0200
+++ b/src/ZF/QPair.thy	Fri Aug 12 12:51:34 1994 +0200
@@ -45,4 +45,4 @@
 ML
 
 val print_translation =
-  [("QSigma", dependent_tr' ("@QSUM", " <*>"))];
+  [("QSigma", dependent_tr' ("@QSUM", "<*>"))];