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

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.