Hi Cris, | To what document is Bill referring here as Michael's "Logic manual"?
If you go to the HOL4 documentation page, there are links to several manuals, one of which is the "Logic" one: http://hol.sourceforge.net/documentation.html As the introduction to that manual makes clear, the detailed discussion of the logic has not changed much, if at all, since older editions of the documentation dating back to HOL88. You can, for example, find the older manuals in Camm Maguire's debian package hol88-doc, which installs them in /usr/share/doc/hol88-doc as gzipped dvi files. John. ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
