Next:
The summation module expression
Up:
Module Operations
Previous:
Hierarchy of predefined modules
Contents
Module summation and renaming
Subsections
The summation module expression
Module renaming
The Maude Team
