Rp-rewriter/debugging
Tools that may be used while debugging RP-Rewriter.
Subtopics
- Pp-rw-stack
- Pretty printing of rewrite stack.
- Show-rules
- Sets whether or not RP-Rewriter should print used rules when rewriting
a conjecture.
- Rp-pr
- Print the rules for RP-Rewriter (similar to pr)
