Fourier tactic

[helm.git] / helm / gTopLevel / proofEngine.mli

diff --git a/helm/gTopLevel/proofEngine.mli b/helm/gTopLevel/proofEngine.mli
index 66bb4620e3dff4754b1d37be566c481c87ecbc6a..f9233ea05a83a2f1b2b4100999098cc94b058285 100644 (file)
--- a/helm/gTopLevel/proofEngine.mli
+++ b/helm/gTopLevel/proofEngine.mli
@@ -59,3 +59,4 @@ val clear : Cic.hypothesis -> unit
   (* other tactics *)
 val elim_type : Cic.term -> unit
 val ring : unit -> unit
+val fourier : unit -> unit