HOL-90


Meaning of HOL-90 in English

An implementation of HOL built on SML/NJ by Brian Graham graham@cpsc.ucalgary.ca . Runs on Sun-4 .

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

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.