--- a/src/HOL/Lazy_Sequence.thy Sun Nov 02 18:21:14 2014 +0100
+++ b/src/HOL/Lazy_Sequence.thy Sun Nov 02 18:21:45 2014 +0100
@@ -1,6 +1,6 @@
(* Author: Lukas Bulwahn, TU Muenchen *)
-header {* Lazy sequences *}
+section {* Lazy sequences *}
theory Lazy_Sequence
imports Predicate