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

Basic Datatypes in CASL

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

They have been fully parsed and checked by the Bremen HOL-CASL parser and checker, Version 0.3.


M.Roggenbach and T.Mossakowski:
Basic Datatypes in CASL
CoFi Note L-12, November 1999.
The Bremen CoFI Group last update November 16, 1999.