The semantics of CASL v0.97 is available from the CoFI pages at http://www.brics.dk/Projects/CoFI/Notes/S-6/ ftp://ftp.brics.dk/Projects/CoFI/Notes/S-6/ (For those who have already seen a previous version, this version includes libraries.) Included are recommendations for certain minor changes to CASL. Please send comments and corrections to cofi-semantics@brics.dk. Don