> > Thanks for the latest bunch of error reports, Ian. Patches below.
>
> These don't seem to have made it to the patches section on
> http://www.cs.york.ac.uk/fp/nhc98/download.html
Ok, all recent patches (including today's) are now available in the
usual place.
Regards,
Malcolm