English Dictionary
Computer Dictionary
Video Dictionary
Thesaurus
Dream Dictionary
Medical Dictionary
Search Dictionary:
Meaning of HOL-88
Sponsored Links:
Computing Dictionary
Definition:
An implementation of
hol
built on
ml
by Mike Gordon <mjcg@cl.cam.ac.uk>.
COPYRIGHT © 2000-2008 HYPERDICTIONARY.COM
HOME
|
ABOUT HYPERDICTIONARY
Computing Dictionary