src/HOLCF/holcf_logic.ML
changeset 16364 dc9f7066d80a
parent 14981 e73f8140af78
child 16843 8ff9a80f3c93
     1.1 --- a/src/HOLCF/holcf_logic.ML	Sat Jun 11 22:15:47 2005 +0200
     1.2 +++ b/src/HOLCF/holcf_logic.ML	Sat Jun 11 22:15:48 2005 +0200
     1.3 @@ -47,7 +47,7 @@
     1.4  
     1.5  (*cfun, ssum, sprod, u, tr, one *)
     1.6  
     1.7 -local val intern = Sign.intern_tycon HOLCF_sg;
     1.8 +local val intern = Sign.intern_type HOLCF_sg;
     1.9  in
    1.10  val cfun_arrow = intern "->";
    1.11  val op   ->>  = mk_btyp cfun_arrow;