Most of the material in this manual also appears in the book All About Maude: A High-Performance Logical Framework, published by Springer as volume 4350 in the series Lecture Notes in Computer Science [16].
The book contains many additional examples and explanations, as well as information on applications and tools.
We gratefully acknowledge the permission given by Springer to distribute this manual on the web.