Part III
Reference

18 Complete List of Maude Commands
 18.1 Command line flags
 18.2 Rewriting commands
 18.3 Matching commands
 18.4 Searching commands
 18.5 Unification command
 18.6 Tracing commands
 18.7 Print attribute commands
 18.8 Print option commands
 18.9 Show option commands
 18.10 Show commands
 18.11 Profiler commands
 18.12 Debugger commands
 18.13 Miscellaneous commands
 18.14 System level commands
19 Core Maude Grammar
 19.1 The grammar
 19.2 Synonyms
 19.3 Lexical Issues
Bibliography
Bibliography
Index
Index of Maude Modules
Index of Maude Theories
Index of Maude Views