Fourier tactic

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

diff --git a/helm/gTopLevel/proofEngine.ml b/helm/gTopLevel/proofEngine.ml
index 47af12f4e35d6adeebc7e4c14d5746e1fefda8e2..69e8062eeddd17f10c667c7634c60f26c31b78bb 100644 (file)
--- a/helm/gTopLevel/proofEngine.ml
+++ b/helm/gTopLevel/proofEngine.ml
@@ -317,4 +317,5 @@ let clear hyp = apply_tactic (ProofEngineStructuralRules.clear ~hyp)
 
 let elim_type term = apply_tactic (Ring.elim_type_tac ~term)
 let ring () = apply_tactic Ring.ring_tac
+let fourier () = apply_tactic FourierR.fourier_tac