--- 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