Chapter 10: Writing ad-hoc Tactics in Coq
10.1 Introduction
10.2 Tactic Macros
10.3 An Overview of
Coq
's Architecture
10.4 The tactic writer mini-HOWTO
10.5 Some Useful Tools for Writing Tactics
10.6 A Complete Example
10.7 Testing and Debugging your Tactic