src/HOL/Analysis/Poly_Roots.thy

--- a/src/HOL/Analysis/Poly_Roots.thy	Thu Dec 27 23:38:55 2018 +0100
+++ b/src/HOL/Analysis/Poly_Roots.thy	Fri Dec 28 10:29:59 2018 +0100
@@ -2,7 +2,7 @@
     Ported from "hol_light/Multivariate/complexes.ml" by L C Paulson
 *)
 
-section%important \<open>polynomial functions: extremal behaviour and root counts\<close>
+section%important \<open>Polynomial Functions: Extremal Behaviour and Root Counts\<close>
 
 theory Poly_Roots
 imports Complex_Main