Basic Datatypes in CASL, version 0.7

They have been fully parsed and checked with CATS 0.7.

New: each specification comes with its signature. You can click on the "signatures" link after a library, and get the signatures for the whole library. (In the near futute, within a library, you also will be able click on the name of the specification to get its signature).

• RelationsAndOrders  signatures

 
• Algebra_I  signatures

 
• Numbers  signatures

 
• Simple Datatypes  signatures

 
• Structured Datatypes  signatures

 
• Algebra_II  signatures

 
• LinearAlgebra  signatures

 
• NumberRepresentations  (only preliminary version)

 
• MachineNumbers  signatures