Tactics and automation
The complete sources of this chapter
- Page 195, section 7.3.2:
"The subst tactic looks for hypotheses of the form
x = exp or exp = x "
- Page 196, end of the first paragraph:
"It is however, a good complement to our caseEq tactic ..."
- SEction 126.96.36.199, pargraph 2, page 189:
read "Moreover, the argument delta" instead of "Moreover, the argument Delta"