aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile/template/src/test_aux.mli
blob: 10020f27defff68a199118b6961c25af33cb7044 (plain)
1
val tac : unit Proofview.tactic