addendum

[Don Sannella <dts@dcs.ed.ac.uk>]

I forgot to attach the following to the last message -- sorry!  I'm
trying to keep traffic on this group to a minimum.

Don

----------------------------------------------------------------

The following Semantics Note could just as well have been a Language
Design Note, as the work reported was the basis for the CASL design
concerning the tricky business of subsorts.

  27 May 1997:
       Semantics Note S-5 has been installed. It provides a detailed
       analysis of the treatment of subsorts in CASL. 

Here's the FTP address:

  ftp://ftp.brics.dk/Projects/CoFI/Notes/S-5/