| Fri, 12 Jan 2018 15:27:46 +0100 | wenzelm | prefer formal comments; | file | diff | annotate |
| Tue, 17 Jan 2017 13:59:10 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Mon, 17 Oct 2016 11:46:22 +0200 | nipkow | setsum -> sum | file | diff | annotate |
| Fri, 29 Jul 2016 11:42:13 +0200 | Andreas Lochbihler | fix LaTeX error | file | diff | annotate |
| 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 |