2015-03-25 wenzelm 2015-03-25 prefer local fixes;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-06-11 Thomas Sewell 2014-06-11 Hypsubst preserves equality hypotheses Fixes included for various theories affected by this change.
2013-08-18 haftmann 2013-08-18 some vague grouping of related theorems, with slight tuning of headings and sorting out of dubious lemmas into separate theory
2012-10-08 haftmann 2012-10-08 consolidated names of theorems on composition; generalized former theorem UN_o; comp_assoc orients to the right, as is more common
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2011-11-17 wenzelm 2011-11-17 eliminated slightly odd Rep' with dynamically-scoped [simplified]; tuned proofs;
2011-09-16 kleing 2011-09-16 removed unused legacy lemma names, some comment cleanup.
2010-09-13 nipkow 2010-09-13 renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI
2010-06-30 haftmann 2010-06-30 more speaking theory names