helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification \
helm-mathql_interpreter helm-mathql_generator
INTERFACE_FILES = \
proofEngineReduction.mli proofEngineHelpers.mli \
helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification \
helm-mathql_interpreter helm-mathql_generator
INTERFACE_FILES = \
proofEngineReduction.mli proofEngineHelpers.mli \