This page is still under construction!
Basic Datatypes in CASL
This page contains the ASCII-Version of the CASL specifications
described in the
CoFI Note.
They have been fully parsed by the Bremen Parser.
M.Roggenbach
and
T.Mossakowski:
Basic Datatypes in CASL
CoFi Note M-6, March 1999.
M.Roggenbach
and
T.Mossakowski:
The Data Types REAL and COMPLEX in CASL
CoFi Note M-7, March 1999.
Markus Roggenbach last update March 5, 1999.