1.1 --- a/src/ZF/pair.thy Thu Aug 10 00:45:23 2000 +0200
1.2 +++ b/src/ZF/pair.thy Thu Aug 10 11:27:34 2000 +0200
1.3 @@ -1,4 +1,5 @@
1.4 -(*Dummy theory to document dependencies *)
1.5 +theory pair = upair
1.6 +files "simpdata":
1.7 +end
1.8
1.9 -pair = upair
1.10