src/HOL/Library/Bourbaki_Witt_Fixpoint.thy

--- a/src/HOL/Library/Bourbaki_Witt_Fixpoint.thy	Sun Oct 16 22:43:51 2016 +0200
+++ b/src/HOL/Library/Bourbaki_Witt_Fixpoint.thy	Mon Oct 17 11:46:22 2016 +0200
@@ -402,4 +402,4 @@
   shows "bourbaki_witt_fixpoint Sup {(x, y). x \<le> y} f"
 by unfold_locales (auto simp: assms Sup_upper order_on_defs Field_def intro: refl_onI transI antisymI Sup_least)
 
-end
\ No newline at end of file
+end