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.


Alan Smaill
Last modified: Tue Mar 18 16:33:55 GMT 2003