The Bremen HOL-CASL system, version 0.85

System requirements:

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

Linux distribution (about 10 MB)

Solaris distribution (about 13 MB)

To run HOL-CASL, unpack the distribution file. This will produce a directory HOL-CASL.
cd into this directory.
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

Old versions of HOL-CASL can be found here.

Send questions and comments to cofi@tzi.de.