next up previous contents
Next: metaReduce Up: The META-LEVEL module: Metalevel Previous: Moving between reflection levels:   Contents


Simplifying: metaReduce and metaNormalize


Subsections
The Maude Team