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.

• RelationsAndOrders

• PreNumbers

• Algebra_I

• Numbers

• Simple Datatypes

• Structured Datatypes

• Algebra_II

• NumberRepresentations

• MachineNumbers