src/ZF/pair.thy
2002-07-14 paulson 2002-07-14 Removal of mono.thy
2002-06-23 paulson 2002-06-23 conversion of Sum, pair to Isar script
2001-10-05 wenzelm 2001-10-05 tuned;
2000-08-10 paulson 2000-08-10 installation of cancellation simprocs for the integers
1997-01-03 paulson 1997-01-03 Implicit simpsets and clasets for FOL and ZF
1993-11-16 clasohm 1993-11-16 made pseudo theories for all ML files; documented dependencies between all thy and ML files