added comment on is_flat
authoroheimb
Thu Sep 12 17:28:06 1996 +0200 (1996-09-12)
changeset 19909e23119c0219
parent 1989 8e0ff1bfcfea
child 1991 51935901c239
added comment on is_flat
src/HOLCF/Fix.thy
     1.1 --- a/src/HOLCF/Fix.thy	Thu Sep 12 17:18:00 1996 +0200
     1.2 +++ b/src/HOLCF/Fix.thy	Thu Sep 12 17:28:06 1996 +0200
     1.3 @@ -12,13 +12,13 @@
     1.4  
     1.5  consts
     1.6  
     1.7 -iterate :: "nat=>('a->'a)=>'a=>'a"
     1.8 -Ifix    :: "('a->'a)=>'a"
     1.9 -fix     :: "('a->'a)->'a"
    1.10 -adm          :: "('a=>bool)=>bool"
    1.11 -admw         :: "('a=>bool)=>bool"
    1.12 -chain_finite :: "'a=>bool"
    1.13 -is_flat         :: "'a=>bool"
    1.14 +iterate	:: "nat=>('a->'a)=>'a=>'a"
    1.15 +Ifix	:: "('a->'a)=>'a"
    1.16 +fix	:: "('a->'a)->'a"
    1.17 +adm		:: "('a=>bool)=>bool"
    1.18 +admw		:: "('a=>bool)=>bool"
    1.19 +chain_finite	:: "'a=>bool"
    1.20 +is_flat		:: "'a=>bool" (* should be called flat, for consistency *)
    1.21  
    1.22  defs
    1.23