Changed section title to please LaTeX.
authorhoelzl
Fri Oct 22 12:01:12 2010 +0200 (2010-10-22)
changeset 400560bee30e3a4ad
parent 40055 1f7cc5357d96
child 40057 b237f757b215
Changed section title to please LaTeX.
src/HOL/Lazy_Sequence.thy
     1.1 --- a/src/HOL/Lazy_Sequence.thy	Thu Oct 21 20:26:35 2010 +0200
     1.2 +++ b/src/HOL/Lazy_Sequence.thy	Fri Oct 22 12:01:12 2010 +0200
     1.3 @@ -150,7 +150,7 @@
     1.4    "product s1 s2 = Lazy_Sequence.bind s1 (%a. Lazy_Sequence.bind s2 (%b. Lazy_Sequence.single (a, b)))"
     1.5  
     1.6  
     1.7 -subsubsection {* small_lazy typeclasses *}
     1.8 +subsubsection {* Small lazy typeclasses *}
     1.9  
    1.10  class small_lazy =
    1.11    fixes small_lazy :: "int \<Rightarrow> 'a Lazy_Sequence.lazy_sequence"