src/ZF/pair.thy
2011-02-18 wenzelm 2011-02-18 more precise headers;
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2007-10-07 wenzelm 2007-10-07 modernized specifications; removed legacy ML bindings;
2005-08-02 wenzelm 2005-08-02 tuned;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-02 paulson 2004-06-02 new rules for simplifying quantifiers with Sigma
2002-08-28 paulson 2002-08-28 various new lemmas for Constructible
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