Go backward to
4.1 Signature Declarations
Go up to
4 Subsorting Constructs
4.2 Axioms
4.2.1 Atomic Formulae
4.2.1.1 Membership
4.2.2 Terms
4.2.2.1 Casts
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk
