Go backward to D.1 Mathematical Symbols
Go up to D Display Format
Go forward to D.3 Identifiers
D.2 Keywords
Only keywords that indicate specification structure are
displayed boldface; all keywords occurring in a FORMULA, an
ATTRIBUTE, or an ALTERNATIVE are displayed in the same
italic font as identifiers.
CoFI
Document: CASL/Summary -- Version: 1.0 -- 22 July 1999.
Comments to cofi-language@brics.dk