New tools note

[till@Informatik.Uni-Bremen.DE]

Dear friends,

the TACAS paper

	CASL - from semantics to tools
	
is now available as CoFI Tools Note T-10.
It contains a general non-technical desciprtion
of the Bremen HOL-CASL system, and some general
ideas about tools for CASL.

The note is available at

  http://www.brics.dk/Projects/CoFI/Notes/T-10/
  ftp://ftp.brics.dk/Projects/CoFI/Notes/T-10/

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