logicalOperations.cmx proofEngine.cmx termEditor.cmx termViewer.cmx
regtest.cmo: batchParser.cmi
regtest.cmx: batchParser.cmx
+testlibrary.cmo: batchParser.cmi
+testlibrary.cmx: batchParser.cmx
batchParser.cmo: disambiguatingParser.cmi batchParser.cmi
batchParser.cmx: disambiguatingParser.cmx batchParser.cmi