Study note on subsorting in CASL [MC++-1] installed

[pdmosses@brics.dk]

The revised version of the study note on subsorting in CASL [MC++-1]
by Maura Cerioli, Till Mossakowski, et al., has just been installed.
It has not yet been converted to HTML; the URL referring to it in the
Language Design Summary merely points to a page that provides links to
the DVI and Postscript versions, namely: URL:
ftp://ftp.brics.dk/pub/BRICS/Projects/CoFI/StudyNotes/Lang/MC++-1.dvi,
URL:
ftp://ftp.brics.dk/pub/BRICS/Projects/CoFI/StudyNotes/Lang/MC++-1.ps.Z

Please send any comments on this note to the mailing list, URL:
mailto:cofi-language@brics.dk, as soon as possible.

----   --------------------------------------------
\  /  | Peter D Mosses         <pdmosses@brics.dk> |
CoFI  | Common Framework Initiative  - Coordinator |
/  \  | WWW URL: http://www.brics.dk/Projects/CoFI |
----   --------------------------------------------