Up – Package index » coq » Library firstorder_plugin » Firstorder_plugin » Ground

Module `Firstorder_plugin.Ground`Source

val ground_tac : 
  unit Proofview.tactic ->
  ((Sequent.t -> unit Proofview.tactic) -> unit Proofview.tactic) ->
  unit Proofview.tactic