Up
–
coq-core
»
Btauto_plugin
»
Refl_btauto
» Btauto
Module
Refl_btauto.Btauto
val
tac :
unit
Proofview.tactic