Chapter 19: The
Setoid_replace
tactic
Clément Renard
This chapter presents the
Setoid_replace
tactic.
19.1 Description of
Setoid_replace
19.2 Adding new setoid or morphisms
19.3 Adding new morphisms
19.4 The tactic itself