--- a/src/HOLCF/Fix.thy Thu Sep 12 17:18:00 1996 +0200
+++ b/src/HOLCF/Fix.thy Thu Sep 12 17:28:06 1996 +0200
@@ -12,13 +12,13 @@
consts
-iterate :: "nat=>('a->'a)=>'a=>'a"
-Ifix :: "('a->'a)=>'a"
-fix :: "('a->'a)->'a"
-adm :: "('a=>bool)=>bool"
-admw :: "('a=>bool)=>bool"
-chain_finite :: "'a=>bool"
-is_flat :: "'a=>bool"
+iterate :: "nat=>('a->'a)=>'a=>'a"
+Ifix :: "('a->'a)=>'a"
+fix :: "('a->'a)->'a"
+adm :: "('a=>bool)=>bool"
+admw :: "('a=>bool)=>bool"
+chain_finite :: "'a=>bool"
+is_flat :: "'a=>bool" (* should be called flat, for consistency *)
defs