CASL/Summary-v1.0 -- E.3.2 Num

Go backward to E.3.1 Num
Go up to E.3 Architectural Specifications
Go forward to E.3.3 Add_Num

spec: Num_Monoid =
Monoid with Elem ^_|-> Num, n ^_|-> 0, __*__ ^_|-> __+__

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk