Subject: Tactics
Keywords: ::ML
::tactic
Title: How to write your own tactics
--------------------------------------------------
⋅
Authors:
Contributors: VINCENT:t