src/HOL/NSA/Star.thy

--- a/src/HOL/NSA/Star.thy	Sun Nov 02 17:09:04 2014 +0100
+++ b/src/HOL/NSA/Star.thy	Sun Nov 02 17:13:28 2014 +0100
@@ -4,7 +4,7 @@
     Conversion to Isar and new proofs by Lawrence C Paulson, 2003/4
 *)
 
-header{*Star-Transforms in Non-Standard Analysis*}
+section{*Star-Transforms in Non-Standard Analysis*}
 
 theory Star
 imports NSA