Hyper Dictionary

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 <[email protected]>.

 

 

COPYRIGHT © 2000-2008 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY