hol88 - Online in the Cloud

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



Latest Linux & Windows online programs