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 |