src/HOL/Multivariate_Analysis/Weierstrass.thy

--- a/src/HOL/Multivariate_Analysis/Weierstrass.thy	Tue Nov 03 16:35:38 2015 +0100
+++ b/src/HOL/Multivariate_Analysis/Weierstrass.thy	Tue Nov 03 16:47:37 2015 +0100
@@ -1,8 +1,7 @@
-section\<open>Bernstein-Weierstrass and Stone-Weierstrass Theorems\<close>
+section \<open>Bernstein-Weierstrass and Stone-Weierstrass Theorems\<close>
 
 theory Weierstrass
 imports Uniform_Limit Path_Connected
-
 begin
 
 (*FIXME: simplification changes to be enforced globally*)