| Fri, 29 Jul 2016 09:49:23 +0200 | Andreas Lochbihler | add lemmas contributed by Peter Gammie | file | diff | annotate |
| Fri, 22 Jul 2016 11:00:43 +0200 | wenzelm | tuned proofs -- avoid unstructured calculation; | file | diff | annotate |
| Thu, 17 Mar 2016 08:56:45 +0100 | Andreas Lochbihler | less preconditions | file | diff | annotate |
| Tue, 15 Mar 2016 08:34:04 +0100 | Andreas Lochbihler | add fixpoint induction principle | file | diff | annotate |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Tue, 12 Jan 2016 15:23:54 +0100 | Andreas Lochbihler | add reference | file | diff | annotate |
| Tue, 05 Jan 2016 13:48:51 +0100 | wenzelm | updated headers; | file | diff | annotate |
| Tue, 01 Dec 2015 12:35:11 +0100 | Andreas Lochbihler | add formalisation of Bourbaki-Witt fixpoint theorem | file | diff | annotate |