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.

• Concepts from Order Theory

• Concepts from Algebra -- Part I

• Numbers

• Simple Datatypes

• Structured Datatypes

• Concepts from Algebra -- Part II

• Machine Numbers

• Exact Fixed Point Numbers