Chapter 8: Detailed examples of tactics
This chapter presents detailed examples of certain tactics, to illustrate their behavior.
8.1
Refine
8.2
EApply
8.3
Scheme
8.4
Inversion
8.5
AutoRewrite
8.6
Quote