Basic Datatypes in CASL, version 0.5
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.6.
M.Roggenbach,
T.Mossakowski,
L.Schröder
:
Basic Datatypes in CASL
version 0.5, December 2000.
The
Bremen CoFI Group last update December 19, 2000.