src/ZF/pair.thy
2011-11-24 wenzelm modernized some old-style infix operations, which were left over from the time of ML proof scripts;
2011-11-23 wenzelm modernized some old-style infix operations, which were left over from the time of ML proof scripts;
2011-11-20 wenzelm eliminated obsolete "standard";
2011-05-13 wenzelm clarified map_simpset versus Simplifier.map_simpset_global;
2011-05-13 wenzelm make ZF_cs snapshot after final setup;
2011-04-22 wenzelm misc tuning and simplification;
2011-04-22 wenzelm proper context for Quantifier1 simprocs (avoid bad ProofContext.init_global from abc655166d61);
2011-04-22 wenzelm modernized Quantifier1 simproc setup;
2011-02-18 wenzelm more precise headers;
2008-12-03 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
2007-10-07 wenzelm modernized specifications;
2005-08-02 wenzelm tuned;
2005-06-17 haftmann migrated theory headers to new format
2004-06-02 paulson new rules for simplifying quantifiers with Sigma
2002-08-28 paulson various new lemmas for Constructible
2002-07-14 paulson Removal of mono.thy
2002-06-23 paulson conversion of Sum, pair to Isar script
2001-10-05 wenzelm tuned;
2000-08-10 paulson installation of cancellation simprocs for the integers
1997-01-03 paulson Implicit simpsets and clasets for FOL and ZF
1993-11-16 clasohm made pseudo theories for all ML files;
less more (0) tip