tactic一覧:http:/coq.inria.fr/refman/tactic-index.html

tactic一覧:http:/coq.inria.fr/refman/tactic-index.html