higher Order Logic. A proof-generating system for {higher order logic} based on {LCF}. Implementations include {hOL-88} and href="module.php?name=Lexikon&file=search&eid=1&query=hOL-90">hOL-90. href="ftp://ted.cs.uidaho.edu/pub/hol">. Mailing list: info-hol@ted.cs.uidaho.edu. ["hOL: A Machine Oriented Formulation of higher Order Logic", M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985)]. ["Introduction to hOL", M.J.C. Gordon et al, Cambridge U Press 1993 ISBN 0-521-441897].