Proposed final adjustments for CASL semantics

[Till Mossakowski <till@tzi.de>]

Dear friends,

during the last one or two years, a number of necessary small
adjustments to the CASL semantics have come up. They mainly 
arose from practical examples and/or proof attempts, and have been
discussed among some people involved with the CASL semantics.
The impact of these adjustments to the CASL language summary has 
been summarized under

http://www.informatik.uni-bremen.de/~till/Adaptions.ps

The impact on the semantics can be seen in the new version of
the semantics for structured specifications, available under

http://www.informatik.uni-bremen.de/~till/struct1.ps

(the changes to basic many-sorted and subsorted semantics
 still need to be done, but are rather straightforward).

Please send any immediate comments or objections to this until

  *** October the 6th ***

to cofi-semantics@brics.dk. This will then lead to a formal proposal
for the adjustment of the design (together with a proposal for some
adaptions of the (positions of) annotations, which will be treated in 
a forthcoming message).

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