Prev Up Next
Go backward to D.1 Mathematical Symbols
Go up to D Display Format
Go forward to D.3 Identifiers

D.2 Keywords

Keywords are generally displayed in a boldface font: sorts, ops, etc. Within a FORMULA, however, they are displayed in the same font as identifiers: if, true, false, def, as, op, pred.


CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk

Prev Up Next