matitaDisambiguator.cmx matitaDb.cmx buildTimeConf.cmx
matitaProof.cmo: matitaTypes.cmi matitaMisc.cmi matitaCicMisc.cmi \
buildTimeConf.cmo matitaProof.cmi
matitaProof.cmx: matitaTypes.cmx matitaMisc.cmx matitaCicMisc.cmx \
buildTimeConf.cmx matitaProof.cmi
matitaDisambiguator.cmx matitaDb.cmx buildTimeConf.cmx
matitaProof.cmo: matitaTypes.cmi matitaMisc.cmi matitaCicMisc.cmi \
buildTimeConf.cmo matitaProof.cmi
matitaProof.cmx: matitaTypes.cmx matitaMisc.cmx matitaCicMisc.cmx \
buildTimeConf.cmx matitaProof.cmi