src/HOL/ex/MT.thy

--- a/src/HOL/ex/MT.thy	Sun Nov 02 18:21:14 2014 +0100
+++ b/src/HOL/ex/MT.thy	Sun Nov 02 18:21:45 2014 +0100
@@ -12,7 +12,7 @@
     Report 308, Computer Lab, University of Cambridge (1993).
 *)
 
-header {* Milner-Tofte: Co-induction in Relational Semantics *}
+section {* Milner-Tofte: Co-induction in Relational Semantics *}
 
 theory MT
 imports Main