HOL-90

from The Free On-line Dictionary of Computing (8 July 2008)

HOL-90

   An implementation of {HOL} built on {SML/NJ} by Brian Graham
   <[email protected]>.  Runs on {Sun-4}.

   (ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z).  Mailing list:
   [email protected].