src/HOL/Library/Bourbaki_Witt_Fixpoint.thy
Tue, 12 Jan 2016 15:23:54 +0100 Andreas Lochbihler add reference
Tue, 05 Jan 2016 13:48:51 +0100 wenzelm updated headers;
Tue, 01 Dec 2015 12:35:11 +0100 Andreas Lochbihler add formalisation of Bourbaki-Witt fixpoint theorem
less more (0) tip