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

Basic Datatypes in CASL

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

They have been fully parsed and checked by the Bremen Parser and Checker.


M.RoggenbachT.Mossakowski, and L.Schröder:
Basic Datatypes in CASL
CoFi Note L-12
Markus Roggenbach last update May 10, 2000.