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 --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
