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.
| < Previous Terms | Terms Containing HOL-90 | Next Terms > |
| Hobbit hobbit hog HOL HOL-88 | HOL | hole hole model Hollerithabetical order Hollerith, Herman Hollywired |
