Module Refl_btauto.Btauto

val tac : unit Proofview.tactic