Ftp Area

The compressed tarfile of the system is 6 MBytes and the full interface takes 15 MBytes.

To start the transfer, select the architecture you are interested in:

In Europe:

In North America:

If you have problems transfering 6 MegaBytes, the ftp areas are

  babar.inria.fr : /pub/centaur/chol

  lal.cs.byu.edu : /pub/hol/chol

and contain the compressed tarfile in smaller pieces.

Patches are available to update previously ftp versions. After getting the selected patch, just run it in the DIR directory.

Click on the patches you are interested in:

If you have an old version of the interface, a tarfile is available to update the sml version for hol90.7

Click here to retrieve the tarfile and untar it in the DIR directory.

If you need other architectures, please send me an email (Laurent.Thery@inria.fr)