src/HOL/Library/Bourbaki_Witt_Fixpoint.thy
changeset 62058 1cfd5d604937
parent 61766 507b39df1a57
child 62141 00bfdf4bf237
     1.1 --- a/src/HOL/Library/Bourbaki_Witt_Fixpoint.thy	Tue Jan 05 13:41:29 2016 +0100
     1.2 +++ b/src/HOL/Library/Bourbaki_Witt_Fixpoint.thy	Tue Jan 05 13:48:51 2016 +0100
     1.3 @@ -1,5 +1,6 @@
     1.4 -(* Title: Bourbaki_Witt_Fixpoint.thy
     1.5 -   Author: Andreas Lochbihler, ETH Zurich *)
     1.6 +(*  Title:      HOL/Library/Bourbaki_Witt_Fixpoint.thy
     1.7 +    Author:     Andreas Lochbihler, ETH Zurich
     1.8 +*)
     1.9  
    1.10  section \<open>The Bourbaki-Witt tower construction for transfinite iteration\<close>
    1.11