This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/.Copyright ©2001 CoFI, The Common Framework Initiative for Algebraic Specification and Development.1
This document lists the adjustments, corrections and clarifications that have been made to the CASL Summary, version 1.0 (dated 22 July 1999) to obtain version 1.0.1 (dated 15 March 2001). N.B. The page and section numbers cited below refer to the original version 1.0, not to the new version.