src/HOL/Library/Bourbaki_Witt_Fixpoint.thy
2016-01-12 Andreas Lochbihler 2016-01-12 add reference
2016-01-05 wenzelm 2016-01-05 updated headers;
2015-12-01 Andreas Lochbihler 2015-12-01 add formalisation of Bourbaki-Witt fixpoint theorem