The HOL/Clam System
The HOL/Clam system was built in the course of an EPSRC research project to link the HOL and Clam systems together.
The
HOL/Clam project
HOL/Clam user guide
HOL/Clam Reference Card
local HOL installation
Home Page of the
HOL System
Home Page of the Clam System
Some Notes on Using HOL90
Information about the Standard ML Programming Language
Alan Smaill
Last modified: Tue Mar 18 16:33:55 GMT 2003