This is the command hol88 that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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.
Use hol88 online using onworks.net services
