The following specifications have been successfully parsed4 with the Bremen parser, version July 1, 1999,
which means: they have been translated from the LaTeX format (see "Formatting CASL Specifications Using LaTeX" [Mos98]) by the program hyperlatex into ASCII-files, then been edited by hand5, and finally been parsed. This parsed ASCII-text of the specifications is available in ASCII-format athttp://www.informatik.uni-bremen.de/~cofi/CASL/parser/parser.html
In this note we take the freedom to write annotations in the manner we propose in our study note "Annotations and Literal Syntax in CASL" [RM99].http://www.informatik.uni-bremen.de/~cofi/CASL/lib/basic/