You are here: irt.org | FOLDOC | 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.
Nearby terms: hog « HOL « HOL-88 « HOL-90 » hole » hole model » Hollerithabetical order
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL