Dictionary
Thesaurus
Encyclopedia
Translator
Web
Popular Searches
Nearby Words

hol-90

 - 1 dictionary result
ABC Family Holiday Event
Visit ABCFamily.com for a complete schedule and more Christmas fun.
www.ABCFamily.go.com
Holiday Wonders Downtown
Downtown LA sparkles this holiday! Find unique events & deals at
www.DowntownLA.com
100 Holiday at Amazon
Millions of titles, new & used. Qualified orders over $25 ship free
Amazon.com/books
Computing Dictionary

HOL-90
An implementation of HOL built on SML/NJ by Brian Graham . Runs on Sun-4.
(ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z). Mailing list: info-hol@clover.ucdavis.edu.

The Free On-line Dictionary of Computing, © 1993-2007 Denis Howe
Cite This Source
ABC Family Holiday Event
Visit ABCFamily.com for a complete schedule and more Christmas fun.
www.ABCFamily.go.com
Holiday Wonders Downtown
Downtown LA sparkles this holiday! Find unique events & deals at
www.DowntownLA.com
Search another word or see hol-90 on Thesaurus | Reference
100 Holiday at Amazon
Millions of titles, new & used. Qualified orders over $25 ship free
Amazon.com/books
90
Find 90 Online. Free Shipping $50 on 100,000 Items!
Target.com/FreeShipping
Naomi Kosher Boutique
20yrs extraordinary satisfaction travel to europe with naomi travel
www.naomicatering.com
FacebookTwitterFollow us:
Partner Sites:
Ask AnswersEviteExpediaHotelsHotwireLife123LiveDailyMy Way