# HG changeset patch
# User wenzelm
# Date 877102833 -7200
# Node ID 7d391943bc19dd8c0c80560bfbeba7d6279c6ae3
# Parent  c257b82a1200b0736fcb798fa6844a990a408680
obselete 'end' hack;

diff -r c257b82a1200 -r 7d391943bc19 src/ZF/upair.thy
--- 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