Go backward to
E.1.3 Nat
Go up to
E.1 Simple Structured Specifications
E.1.4 Elem
spec
Elem
=
sort
Elem
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk
