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 , Wed, 18 Oct 2006 13:51:08 -0400