--- a/src/ZF/upair.thy Fri Oct 17 17:40:02 1997 +0200
+++ b/src/ZF/upair.thy Fri Oct 17 17:40:33 1997 +0200
@@ -4,9 +4,6 @@
Copyright 1993 University of Cambridge
Dummy theory, but holds the standard ZF simpset.
- (This is why the +end is present.)
*)
-upair = ZF +
-
-end
+upair = ZF