--- a/src/HOL/Set_Interval.thy Sun Nov 02 18:21:14 2014 +0100
+++ b/src/HOL/Set_Interval.thy Sun Nov 02 18:21:45 2014 +0100
@@ -11,7 +11,7 @@
Examples: Ico = {_ ..< _} and Ici = {_ ..}
*)
-header {* Set intervals *}
+section {* Set intervals *}
theory Set_Interval
imports Lattices_Big Nat_Transfer