Sign.of_sort;

--- a/src/HOLCF/adm.ML	Wed Sep 29 14:40:15 1999 +0200
+++ b/src/HOLCF/adm.ML	Wed Sep 29 14:56:01 1999 +0200
@@ -89,9 +89,8 @@
 (*** check whether type of terms in list is chain finite ***)
 
 fun is_chfin sign T params ((t, _)::_) =
-  let val {tsig, ...} = Sign.rep_sg sign;
-      val parTs = map snd (rev params)
-  in Type.of_sort tsig (fastype_of1 (T::parTs, t), chfin_pcpoS) end;
+  let val parTs = map snd (rev params)
+  in Sign.of_sort sign (fastype_of1 (T::parTs, t), chfin_pcpoS) end;
 
 
 (*** try to prove that terms in list are continuous

--- a/src/HOLCF/domain/library.ML	Wed Sep 29 14:40:15 1999 +0200
+++ b/src/HOLCF/domain/library.ML	Wed Sep 29 14:56:01 1999 +0200
@@ -77,7 +77,7 @@
 fun rep_TFree (TFree x) = x | rep_TFree _ = Imposs "library:rep_TFree";
 val tsig_of = #tsig o Sign.rep_sg;
 
-fun pcpo_type sg t = Type.of_sort (tsig_of sg) (Sign.certify_typ sg t, pcpoS);
+fun pcpo_type sg t = Sign.of_sort sg (Sign.certify_typ sg t, pcpoS);
 fun string_of_typ sg = Sign.string_of_typ sg o Sign.certify_typ sg;
 fun str2typ sg = typ_of o read_ctyp sg;