Go up to
E Examples
Go forward to
E.2 Generic Structured Specifications
E.1 Simple Structured Specifications
E.1.1 Partial_Order
E.1.2 Monoid
E.1.3 Nat
E.1.4 Elem
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk
