Go backward to
2.8
LOOP-MODE
and Metalanguage Uses
Go up to
2 Core Maude
2.9 System Issues and Debugging
2.9.1 Command Line Options
2.9.2 Debugging Core Maude Specifications
2.9.3 User Facilities Not Yet Implemented
2.9.4 Miscellaneous Differences from OBJ3
2.9.5 Traps for the Unwary
2.9.6 Known Problems
