next up previous contents
Next: metaSearch Up: The META-LEVEL module: Metalevel Previous: Matching: metaMatch and metaXmatch   Contents

Searching: metaSearch and metaSearchPath


Subsections
The Maude Team