# 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