[Termtools] New version of IsaFoR/CeTA available

[René Thiemann]

Dear all,

we are happy to announce the new IsaFoR/CeTA version 1.03 to certify  
termination proofs.
The difference to previous versions are as follows:

- It is based on the new Isabelle 2009
- Usable rules (in all variants) are supported

The new version and documentation is freely available at http://cl-informatik.uibk.ac.at/software/ceta/

Best regards,
Christian, Harald, Sarah, and René
-- 
René Thiemann                    mailto:rene.thiemann at uibk.ac.at
Computational Logic Group        http://cl-informatik.uibk.ac.at/~thiemann/
Institute of Computer Science    phone: +43 512 507-6434
University of Innsbruck