Part III
Reference

23 Complete List of Maude Commands
 23.1 Command line flags
 23.2 Rewriting commands
 23.3 Matching commands
 23.4 Searching commands
 23.5 Strategic rewriting commands
 23.6 Unification, variants, and narrowing commands
 23.7 SMT commands
 23.8 Tracing commands
 23.9 Print attribute commands
 23.10 Print option commands
 23.11 Show option commands
 23.12 Show commands
 23.13 Profiler commands
 23.14 Debugger commands
 23.15 Miscellaneous commands
 23.16 System level commands
24 Core Maude Grammar
 24.1 The grammar
 24.2 Synonyms
 24.3 Lexical Issues
Bibliography
Bibliography
Index
Index of Maude Modules
Index of Maude Theories
Index of Maude Views