Go backward to
4.2.1 Atomic Formulae
Go up to
4.2 Axioms
4.2.2 Terms
TERM ::= ... | CAST
4.2.2.1 Casts
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk