Up
–
coq
»
Pvernac
» Unsafe
Module
Pvernac.Unsafe
val
set_tactic_entry :
proof_mode
option
->
unit