New release of CATS and HOL-CASL

[Till Mossakowski <till@Informatik.Uni-Bremen.DE>]

Dear friends,

release 0.52 of the CASL tool set (CATS) has just been installed.
The CASL tool set provides parsing, static analysis and encoding
for CASL specifications.

Improvements w.r.t. CATS 0.5alpha:
- many bugs fixed (including a bug leading to the recompilation of
  the basic datatypes every time)
- Better error messages for the analysis of architectural specifications


Also, release 0.52 of the HOL-CASL has been installed.
HOL-CASL provides theorem proving for CASL, based on CATS and Isabelle/HOL.

Improvements w.r.t. HOL-CASL 0.2:
- A session manager allows you to save and recover your proof session
- The display of subsort embeddings and full profiles can be
   switch on and off
- Induction proofs now work

Both tools can be obtained from the Bremen CoFI home page:

http://www.informatik.uni-bremen.de/cofi

Greetings,
Till

-----------------------------------------------------------------------------
Till Mossakowski                Phone +49-421-218-4683, monday: +49-4252-1859
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen            till@informatik.uni-bremen.de           
P.O.Box 330440, D-28334 Bremen  http://www.informatik.uni-bremen.de/~till
-----------------------------------------------------------------------------