next up previous contents
Next: metaApply Up: The META-LEVEL module: Metalevel Previous: metaFrewrite   Contents


Applying rules: metaApply and metaXapply


Subsections
The Maude Team