This note is a proposal for a CASL library of standard basic datatypes. It revises the note M-6 "Basic Datatypes in CASL", version 0.1, March 1999, and version 0.2, July 1999. From version 0.3 on, this note splits up into two parts: the forthcoming version 0.3 of note M-6 "Rules of Methodology" is devoted to methodological aspects, while note L-12 "Basic Datatypes in CASL", version 0.3, November 1999, includes the Basic Datatypes proper. In version 0.4, March 2000, the libraries have been substantially restructured. Version 0.4.1 contains some minor bug fixes.
The rest of this document has not yet been converted to HTML; please refer to the FTP directory for the full document.