Tactics and automation

The complete sources of this chapter



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

Going home
Pierre Castéran