Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of HOL-88

 
Computing Dictionary
 
 Definition: 

An implementation of hol built on ml by Mike Gordon <mjcg@cl.cam.ac.uk>.

 

 

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