The Bremen HOL-CASL system, version 0.85

System requirements: A Solaris or Linux machine with at least 64 MB RAM.

You can either copy the HOL-CASL directory to your local file system,
or directly start from CD.
Set the environment variables HOL_CASL and CASL_LIB to this directory
(CASL_LIB can instead also be set to the directory with your CASL libraries).

Then call

HOL-CASL

Documentation is contained in HOL-CASL.ps
Send questions and comments to cofi@tzi.de.

Documentation about Isabelle can be found under
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/index.html

HOL-CASL 0.85 is based on Isabelle-99, see
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/past.html

Contents of the HOL-CASL directory:

basic/                  A version of the Basic Datatypes for HOL-CASL
demos/                  Some demo specifications and tactic scripts
hol_casl                Shell script for starting HOL-CASL
hol_casl.ps             HOL-CASL documentation
hol_casl.sparc_solaris  HOL-CASL heap image for Solaris
hol_casl.x86_linux      HOL-CASL heap image for Linux
load                    Shell script for loading HOL-CASL heap images
readme                  This file
