next up previous contents
Next: metaParse Up: The META-LEVEL module: Metalevel Previous: metaSearchPath   Contents


Parsing and pretty-printing: metaParse and metaPrettyPrint


Subsections
The Maude Team