src/ZF/pair.thy
changeset 2469 b50b8c0eec01
parent 124 858ab9a9b047
child 9570 e16e168984e1
--- a/src/ZF/pair.thy	Fri Jan 03 10:48:28 1997 +0100
+++ b/src/ZF/pair.thy	Fri Jan 03 15:01:55 1997 +0100
@@ -1,3 +1,4 @@
 (*Dummy theory to document dependencies *)
 
-pair = "upair"
+pair = upair
+