/doc/sphinx/proof-engine/
../
detailed-tactic-examples.rst
tactics.rst