dp_zenon.mli « dp « plugins - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/plugins/dp/dp_zenon.mli

blob: 0a727d1f107efadf3b0bff7249147d2d0d8fb83d (plain)


open Fol

val set_debug : bool -> unit

val proof_from_file : string -> Proof_type.tactic