1 (*
2 Sums with naturals as index domain
3 $Id$
4 Author: Clemens Ballarin, started 12 December 1996
5 *)
6
7 NatSum = Ring +
8
9 instance
10 ring < plus_ac0 (a_assoc, a_comm, l_zero)
11
12 end