1.1 --- a/src/ZF/pair.thy Thu Oct 04 23:27:42 2001 +0200 1.2 +++ b/src/ZF/pair.thy Fri Oct 05 16:04:56 2001 +0200 1.3 @@ -1,5 +1,5 @@ 1.4 theory pair = upair 1.5 -files "simpdata": 1.6 +files "simpdata.ML": 1.7 end 1.8 1.9