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