tacticals.mli reductionTactics.mli proofEngineStructuralRules.mli \
primitiveTactics.mli variousTactics.mli introductionTactics.mli \
eliminationTactics.mli negationTactics.mli equalityTactics.mli \
tacticals.mli reductionTactics.mli proofEngineStructuralRules.mli \
primitiveTactics.mli variousTactics.mli introductionTactics.mli \
eliminationTactics.mli negationTactics.mli equalityTactics.mli \
fourierR.mli
IMPLEMENTATION_FILES = \
proofEngineTypes.ml proofEngineReduction.ml proofEngineHelpers.ml \
fourier.ml tacticals.ml reductionTactics.ml proofEngineStructuralRules.ml \
primitiveTactics.ml variousTactics.ml introductionTactics.ml \
eliminationTactics.ml negationTactics.ml equalityTactics.ml \
fourierR.mli
IMPLEMENTATION_FILES = \
proofEngineTypes.ml proofEngineReduction.ml proofEngineHelpers.ml \
fourier.ml tacticals.ml reductionTactics.ml proofEngineStructuralRules.ml \
primitiveTactics.ml variousTactics.ml introductionTactics.ml \
eliminationTactics.ml negationTactics.ml equalityTactics.ml \