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.