CL-UNIFICATION Download Page
DISCLAIMER: The code associated to these documents is not completely tested and it is bound to contain errors and omissions. This documentation may contain errors and omissions as well.
The file COPYING contains a Berkeley-style license. You are advised to use the code at your own risk. No warranty whatsoever is provided, the author will not be held responsible for any effect generated by your use of the library, and you can put here the scarier extra disclaimer you can think of.
Download and CVS Repository
The CVS repository is here. You can download a tarball directly from there.
Questions? Queries? Suggestions? Comments? Please direct them at me.