hol-90

1 definition found

hol-90 - Free On-line Dictionary of Computing (26 May 2007) :

  HOL-90
  
     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.