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.