New document on semantics of CASL v1.0.1 basic specifications

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

Dear semanticists,

The first "free-standing" version of the semantics of basic
specifications as described in v1.0.1 of the CASL Language Summary is
now available from
  http://www.dcs.ed.ac.uk/~dts/cofi/semantics.{dvi,ps,pdf}
and will shortly be available from the CoFI web pages at
  http://www.brics.dk/Projects/CoFI/
("Free-standing" = not in the form of annotations on the Language
Summary, in contrast to all previous versions.)

Comments welcome!  I am particularly interested in constructive
comments on the style of presentation, for instance whether it is
possible to make sense of this document without reference to the
Language Summary.  Most of the technical definitions have been through
many iterations already so I am relatively confident that they are
error-free.

Best regards, Don