[Uni[FB[TZI][BISS][AG

Basic Datatypes in CASL, version 0.7

This page contains the ASCII-Version of the CASL specifications described in the CoFI Note.

They have been fully parsed and checked with CATS 0.7.

New: each specification comes with its signature. You can click on the "signatures" link after a library, and get the signatures for the whole library. (In the near futute, within a library, you also will be able click on the name of the specification to get its signature).


M.Roggenbach, T.Mossakowski, L.Schröder :
Basic Datatypes in CASL
version 0.7, March 2001.
The Bremen CoFI Group last update December 19, 2000.