src/HOL/Library/Bourbaki_Witt_Fixpoint.thy
2015-12-01 Andreas Lochbihler 2015-12-01 add formalisation of Bourbaki-Witt fixpoint theorem