[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.4.


M.Roggenbach, T.Mossakowski, L.Schröder :
Basic Datatypes in CASL
CoFi Note L-12, version 0.4.1, May 2000.

The Bremen CoFI Group last update July 6, 2000.