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

UserManual/Chapter3.casl
UserManual/Chapter4.casl
UserManual/Chapter5.casl
UserManual/Chapter6.casl
UserManual/Chapter7.casl
UserManual/Chapter8.casl
UserManual/Sbcs.casl

UserManual/Chapter3.casl, ..., UserManual/Chapter8.casl contain
the text versions of all specifications from the respective
chapter of the CASL User Manual.

UserManual/Sbcs.casl contains the specifications from chapter 13.
