src/HOL/Library/Bourbaki_Witt_Fixpoint.thy

--- a/src/HOL/Library/Bourbaki_Witt_Fixpoint.thy	Tue Jan 05 13:41:29 2016 +0100
+++ b/src/HOL/Library/Bourbaki_Witt_Fixpoint.thy	Tue Jan 05 13:48:51 2016 +0100
@@ -1,5 +1,6 @@
-(* Title: Bourbaki_Witt_Fixpoint.thy
-   Author: Andreas Lochbihler, ETH Zurich *)
+(*  Title:      HOL/Library/Bourbaki_Witt_Fixpoint.thy
+    Author:     Andreas Lochbihler, ETH Zurich
+*)
 
 section \<open>The Bourbaki-Witt tower construction for transfinite iteration\<close>