Hol90

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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.