Corrections of the CD-ROM for the CASL Reference Manual
From CoFI
The tools on the CD-ROM coming with the CASL reference manual cannot be properly installed, because the all file names errorneously have been converted to lower case. The corrected contents of the CD can be obtained here. (Use wget to download it as a whole.)
You also can access most of the contents of the CD directly on the web:
CASL Tools
- see the Tools page in this Wiki
- Heterogeneous Tool Set (Hets)
- CASL Tool Set (Cats ) Outdated! Use Hets.
- HOL-CASL Outdated! Use Hets.
- Sdf-Parser