src/HOL/BNF_LFP.thy

--- a/src/HOL/BNF_LFP.thy	Wed Apr 23 10:23:27 2014 +0200
+++ b/src/HOL/BNF_LFP.thy	Wed Apr 23 10:23:27 2014 +0200
@@ -241,7 +241,6 @@
   @{thms prod_size_o_map}
 *}
 
-
 hide_fact (open) id_transfer
 
 end