src/HOL/NSA/CLim.thy

--- a/src/HOL/NSA/CLim.thy	Sun Nov 02 17:09:04 2014 +0100
+++ b/src/HOL/NSA/CLim.thy	Sun Nov 02 17:13:28 2014 +0100
@@ -4,7 +4,7 @@
     Conversion to Isar and new proofs by Lawrence C Paulson, 2004
 *)
 
-header{*Limits, Continuity and Differentiation for Complex Functions*}
+section{*Limits, Continuity and Differentiation for Complex Functions*}
 
 theory CLim
 imports CStar