coq-stalmarck-tactic Versions (8)