The Free On-line Dictionary of Computing (30 December 2018):

HOL-90

   An implementation of HOL built on SML/NJ by Brian Graham
   .  Runs on Sun-4.

   (ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z).  Mailing list:
   info-hol@clover.ucdavis.edu.