contrib/dp/dp.mli


1
2
3
4
5
6
7
8
9
10
11
12


open Libnames
open Proof_type

val simplify : tactic
val cvc_lite : tactic
val harvey : tactic
val zenon : tactic

val dp_hint : reference list -> unit