Contents of this directory
--------------------------

Basic/Algebra_I.casl
Basic/Algebra_II.casl
Basic/Graphs.casl
Basic/LinearAlgebra.casl
Basic/LinearAlgebra_I.casl
Basic/LinearAlgebra_II.casl
Basic/MachineNumbers.casl
Basic/Numbers.casl
Basic/RelationsAndOrders.casl
Basic/SimpleDatatypes.casl
Basic/StructuredDatatypes.casl

These contain the libraries of basic datatypes, version 0.9.
The latest version can be obtained from http://www.cofi.info/Libraries

Tools for checking the specifications can be obtained from
http://www.cofi.info/Tools
