ivor-0.1.5: docs/tactics.tex

\section{Primitive Tactics}