| Tue, 28 Apr 2015 19:09:28 +0200 | nipkow | undid 6d7b7a037e8d | file | diff | annotate |
| Tue, 28 Apr 2015 16:23:05 +0100 | paulson | Fixed a non-terminating proof (almost certainly caused by no change of mind) | file | diff | annotate |
| Sat, 27 Dec 2014 20:32:06 +0100 | wenzelm | update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 17:36:52 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Wed, 11 Jun 2014 14:24:23 +1000 | Thomas Sewell | Hypsubst preserves equality hypotheses | file | diff | annotate |
| Sat, 28 Jun 2014 09:16:42 +0200 | haftmann | fact consolidation | file | diff | annotate |