sequentPp.cmx: cic2Xml.cmx cic2acic.cmx proofEngine.cmx sequentPp.cmi
mQueryLevels.cmo: mQueryLevels.cmi
mQueryLevels.cmx: mQueryLevels.cmi
+mQueryLevels2.cmo: mQueryLevels2.cmi
+mQueryLevels2.cmx: mQueryLevels2.cmi
mQueryGenerator.cmo: mQueryLevels.cmi mQueryGenerator.cmi
mQueryGenerator.cmx: mQueryLevels.cmx mQueryGenerator.cmi
gTopLevel.cmo: cic2Xml.cmi cic2acic.cmi logicalOperations.cmi \
- mQueryGenerator.cmi mQueryLevels.cmi proofEngine.cmi sequentPp.cmi \
- xml2Gdome.cmi
+ mQueryGenerator.cmi mQueryLevels.cmi mQueryLevels2.cmi proofEngine.cmi \
+ sequentPp.cmi xml2Gdome.cmi
gTopLevel.cmx: cic2Xml.cmx cic2acic.cmx logicalOperations.cmx \
- mQueryGenerator.cmx mQueryLevels.cmx proofEngine.cmx sequentPp.cmx \
- xml2Gdome.cmx
+ mQueryGenerator.cmx mQueryLevels.cmx mQueryLevels2.cmx proofEngine.cmx \
+ sequentPp.cmx xml2Gdome.cmx