diff options
Diffstat (limited to 'contrib/dp/dp.mli')
-rw-r--r-- | contrib/dp/dp.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/contrib/dp/dp.mli b/contrib/dp/dp.mli index 3dad469c..6dbc05e1 100644 --- a/contrib/dp/dp.mli +++ b/contrib/dp/dp.mli @@ -3,10 +3,18 @@ open Libnames open Proof_type val simplify : tactic +val ergo : tactic +val yices : tactic val cvc_lite : tactic val harvey : tactic val zenon : tactic +val gwhy : tactic val dp_hint : reference list -> unit +val dp_timeout : int -> unit +val dp_debug : bool -> unit +val dp_trace : bool -> unit +val dp_prelude : string list -> unit +val dp_predefined : reference -> string -> unit |