NAME

       hol88 - Higher Order Logic

SYNOPSIS

       hol88

DESCRIPTION

       This  manual  page  documents briefly the hol88 command.  This manual page was written for
       the Debian GNU/Linux distribution because the original program  does  not  have  a  manual
       page.  Instead, it has online documentation provided via the hol88-help and hol88-library-
       help packages, and in dvi format as provided in the hol88-doc package.  The  documentation
       can  also be found at the project's website, http://www.ftp.cl.cam.ac.uk/ftp/hvg/hol88, in
       various forms.

AUTHOR

       This manual page  was  written  by  Camm  Maguire,  <camm@enhanced.com>,  for  the  Debian
       GNU/Linux system (but may be used by others).

                                         October 26, 2006                                HOL88(1)