src/HOL/Lazy_Sequence.thy
changeset 40056 0bee30e3a4ad
parent 40051 b6acda4d1c29
child 42163 392fd6c4669c
     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"