New version of CASL tool set

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

Dear friends,

a new version of the former Bremen HOL-CASL parser and checker,
now with the new name 

	CASL tool set (CATS)

is available under

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

The new name better captures the available features: 

  -  Parsing of full CASL syntax
        (a yacc based parser, based on Frederic Voisins
         yacc grammar, can be chosen optionally) 
  -  Static analysis of full CASL
        (Bartek Klin from Warsaw contributed the analysis
         of symbol maps and architectural specifications) 
  -  Mixfix analysis 
  -  Several types of encodings, helping to interface CASL 
        with existing theorem proving or rewriting tools 
  -  Formatting of specifications and libraries in LaTeX 

 
!!!Warning!!!

It is an alpha version, so there are still a lot of bugs.
I mainly announce it here in order that you can see
what the structure and functionality of the CASL tool set is,
test it with small sample specifications, and see 
what the interchange formats CasEnv and FCasEnv are.

!!!Warning!!!
     
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
-----------------------------------------------------------------------------