Word:

HOL-90

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.
Browse
hoister
Hoisting engine
Hoistway
Hoit
Hoity-toity
Hoka
Hokan
Hokeday
Hoker
hokey
Hokkaido
Hokkianese
hokum
Hokusai
Hol
HOL-88
-- HOL-90 --
HOL-UNITY
holandric gene
HOLAP
Holarctic
Holarrhena
Holarrhena antidysenterica
Holarrhena pubescens
Holaspidean
Holbein
Holbein the Elder
Holbein the Younger
Holbrookia
Holcad
Holcus
Holcus lanatus
Holcus mollis
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy