4 helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification \
5 helm-mathql_interpreter helm-mathql_generator
8 proofEngineReduction.mli proofEngineHelpers.mli \
9 tacticals.mli reductionTactics.mli proofEngineStructuralRules.mli \
10 primitiveTactics.mli tacticChaser.mli variousTactics.mli introductionTactics.mli \
11 eliminationTactics.mli negationTactics.mli equalityTactics.mli \
12 discriminationTactics.mli ring.mli fourierR.mli
13 IMPLEMENTATION_FILES = \
14 proofEngineTypes.ml proofEngineReduction.ml proofEngineHelpers.ml \
15 fourier.ml tacticals.ml reductionTactics.ml proofEngineStructuralRules.ml \
16 primitiveTactics.ml tacticChaser.ml variousTactics.ml introductionTactics.ml \
17 eliminationTactics.ml negationTactics.ml equalityTactics.ml \
18 discriminationTactics.ml ring.ml fourierR.ml
21 include ../Makefile.common