HOL-88




An implementation of HOL built on ML by Mike Gordon <[email protected]>.





< Previous Terms Terms Containing HOL-88 Next Terms >
Hoare powerdomain
Hobbit
hobbit
hog
HOL
HOL
HOL-90
hole
hole model
Hollerithabetical order
Hollerith, Herman