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-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk
