ATerm -- The Annotated Term Library

Copyright (C) 1998-2003 Stichting Mathematisch Centrum,
 Amsterdam, The Netherlands.


The ATerm Library is distributed under the GNU LESSER GENERAL PUBLIC LICENSE.

A verbatim copy of this license can be found in the file: LICENSE.
