- primitiveTactics.cmo tacticals.cmo ring.cmo \
- fourier.cmo fourierR.cmo proofEngine.cmo \
- doubleTypeInference.cmo cic2acic.cmo cic2Xml.cmo \
- logicalOperations.cmo sequentPp.cmo mQueryGenerator.cmo \
- gTopLevel.cmo
+ tacticals.cmo reductionTactics.cmo primitiveTactics.cmo \
+ variousTactics.cmo ring.cmo fourier.cmo fourierR.cmo \
+ proofEngine.cmo doubleTypeInference.cmo cic2acic.cmo \
+ cic2Xml.cmo logicalOperations.cmo sequentPp.cmo \
+ mQueryLevels.cmo mQueryLevels2.cmo mQueryGenerator.cmo \
+ gTopLevel.cmo