hol88 for Debian
----------------

This package is built from the last lisp sources to the HOL theorem
proving system.  More recent versions are written purely in ML.  This
package is being provided here as a facility to combine ML and lisp
into one image, as well as to provide an instructive example in one of
the major milestones in the history of automated theorem proving.

 -- Camm Maguire <camm@enhanced.com>, Wed, 18 Oct 2006 13:51:08 -0400
