paramodulation/saturation.mli \
variousTactics.mli autoTactic.mli \
introductionTactics.mli eliminationTactics.mli negationTactics.mli \
- equalityTactics.mli discriminationTactics.mli inversion.mli ring.mli \
+ equalityTactics.mli discriminationTactics.mli inversion.mli \
+ inversion_principle.mli ring.mli \
fourier.mli fourierR.mli fwdSimplTactic.mli history.mli \
statefulProofEngine.mli tactics.mli