doc-src/Ref/tactic.tex
changeset 10996 74e970389def
parent 10347 c0cfc4ac12e2
child 17818 38c889d77282