src/HOL/Conditionally_Complete_Lattices.thy

--- a/src/HOL/Conditionally_Complete_Lattices.thy	Sun Nov 02 18:21:14 2014 +0100
+++ b/src/HOL/Conditionally_Complete_Lattices.thy	Sun Nov 02 18:21:45 2014 +0100
@@ -4,7 +4,7 @@
     Author:     Luke S. Serafin, Carnegie Mellon University
 *)
 
-header {* Conditionally-complete Lattices *}
+section {* Conditionally-complete Lattices *}
 
 theory Conditionally_Complete_Lattices
 imports Main