| Wed, 11 Jun 2014 14:24:23 +1000 | Thomas Sewell | Hypsubst preserves equality hypotheses | file | diff | annotate |
| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | some vague grouping of related theorems, with slight tuning of headings and sorting out of dubious lemmas into separate theory | file | diff | annotate |
| Mon, 08 Oct 2012 12:03:49 +0200 | haftmann | consolidated names of theorems on composition; | file | diff | annotate |
| Sun, 20 Nov 2011 20:59:30 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Thu, 17 Nov 2011 21:58:10 +0100 | wenzelm | eliminated slightly odd Rep' with dynamically-scoped [simplified]; | file | diff | annotate |
| Fri, 16 Sep 2011 12:10:43 +1000 | kleing | removed unused legacy lemma names, some comment cleanup. | file | diff | annotate |
| Mon, 13 Sep 2010 11:13:15 +0200 | nipkow | renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI | file | diff | annotate |
| Wed, 30 Jun 2010 16:28:14 +0200 | haftmann | more speaking theory names | file | diff | annotate | base |