HOL-CASL 0.8 released

[Till Mossakowski <till@tzi.de>]

Dear friends,

a new version of HOL-CASL has just been released, see

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

The new features are:

  -  command-line interface (instead of IsaWin) allows to use all
     Isabelle tactics,
  -  special tactics for CASL, e.g. induction with CASL free types,
  -  simplifier sets optimzied for CASL,
  -  part of the basic datatypes have been verified within HOL-CASL! 

Since now serious theorem proving with HOL-CASL has become possible,
a mailing list for HOL-CASL has been started, see

   http://mailman.daimi.au.dk/mailman/listinfo/cofi-hol-casl

On this list, all detailed questions about how to do proofs with
HOL-CASL can be asked and will be answered (this probably would be 
too much for cofi-tools, hence the new list).

Your are warmly invited to subscribe to the list, it is very easy!

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