| Sun, 13 Dec 2015 21:56:15 +0100 | wenzelm | more general types Proof.method / context_tactic; | file | diff | annotate |
| Mon, 07 Dec 2015 10:49:08 +0100 | haftmann | clarified terminology | file | diff | annotate |
| Mon, 07 Dec 2015 16:48:10 +0000 | paulson | Merge | file | diff | annotate |
| Mon, 07 Dec 2015 16:27:09 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 06 Dec 2015 23:48:25 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 01 Dec 2015 12:35:11 +0100 | Andreas Lochbihler | add formalisation of Bourbaki-Witt fixpoint theorem | file | diff | annotate |
| Wed, 25 Nov 2015 15:58:22 +0100 | wenzelm | observe option "indent"; | file | diff | annotate |
| Sun, 22 Nov 2015 13:33:38 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 21 Nov 2015 20:19:20 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 18 Nov 2015 21:18:33 +0100 | ballarin | Refine the supression of abbreviations for morphisms that are not identities. | file | diff | annotate |
| Tue, 17 Nov 2015 12:32:08 +0000 | paulson | Removed some legacy theorems; minor adjustments to simplification rules; new material on homotopic paths | file | diff | annotate |
| Mon, 16 Nov 2015 12:37:46 +0100 | nipkow | NEWS | file | diff | annotate |
| Sun, 15 Nov 2015 13:49:27 +0100 | wenzelm | merged | file | diff | annotate |
| Sun, 15 Nov 2015 12:39:51 +0100 | wenzelm | option "inductive_defs" controls exposure of def and mono facts; | file | diff | annotate |
| Sun, 15 Nov 2015 10:51:22 +0100 | haftmann | NEWS | file | diff | annotate |