[Termtools] Certification Problem Format

[René Thiemann]

Dear all,

we just installed a new mailing list about the certification problem  
format

   cpf at informatik.uibk.ac.at

that can be used to discuss the format and ask questions. Moreover,  
important changes
and proposals for extensions will also be announced on this list. If  
you're
interested, just subscribe under

http://informatik.uibk.ac.at:2081/mailman/admin/cpf

or visit

http://cl-informatik.uibk.ac.at/software/cpf/

for more details about the format.

Best regards,
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