Deadline for CASL 1.0.1 changes

[Till Mossakowski <till@informatik.uni-bremen.de>]

Dear friends,

in December, I have proposed to allow an operation to be declared 
as both total and partial in unions and extensions, for details, see

http://www.brics.dk/~pdm/CoFI-old/MailingLists/cofi-language/2000/msg00024.html


Please send any comments to this until

   *** February 17th ***

since then the CASL summary 1.0.1 will be updated.

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            EMail: till@tzi.de           
P.O.Box 330440, D-28334 Bremen  WWW:   http://www.informatik.uni-bremen.de/~till