The book is indeed of mainly historical interest now. I suppose we could ask CUP for permission to put it into the public domain. It is long out of print, I believe.
Tom > On 18 Aug 2016, at 17:03, Ken Kubota <m...@kenkubota.de> wrote: > > 1. If the print proof file for the HOL book from 1993 is still available, it > could be converted to PDF format and made part of the CL technical report > series, such that it would be available online (even if only for historical > interest). ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
