Correcting some errors (with thanks to Wolfgang Lux):
> ... modified Mark Jones' program ... to support system CT (paper
> available at http://www.dcc.ufmg.br/~camarao/ct.ps.gz).
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
this was compressed twice with gzip :-( , ok now
> The source code is available at
> http://www.dcc.ufmg.br/CT/CTinH.tar.gz .
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
http://www.dcc.ufmg.br/~camarao/CT/CTinH.tar.gz
> ... constraints on types of terms (using overloaded symbols or not)
> are automatically inferred.
... types of terms are inferred, overloaded symbols being
used or not (types have constraints iff overloaded symbols are used
in such a way that overloading is not resolved).
Regards,
Carlos
