matitaInterpreter.cmo: buildTimeConf.cmo matitaConsole.cmi matitaGui.cmi \
matitaMathView.cmi matitaProof.cmi matitaTypes.cmo matitaInterpreter.cmi
matitaInterpreter.cmx: buildTimeConf.cmx matitaConsole.cmx matitaGui.cmx \
matitaMathView.cmx matitaProof.cmx matitaTypes.cmx matitaInterpreter.cmi
matitaMathView.cmo: matitaCicMisc.cmo matitaTypes.cmo matitaMathView.cmi
matitaMathView.cmx: matitaCicMisc.cmx matitaTypes.cmx matitaMathView.cmi
matitaInterpreter.cmo: buildTimeConf.cmo matitaConsole.cmi matitaGui.cmi \
matitaMathView.cmi matitaProof.cmi matitaTypes.cmo matitaInterpreter.cmi
matitaInterpreter.cmx: buildTimeConf.cmx matitaConsole.cmx matitaGui.cmx \
matitaMathView.cmx matitaProof.cmx matitaTypes.cmx matitaInterpreter.cmi
matitaMathView.cmo: matitaCicMisc.cmo matitaTypes.cmo matitaMathView.cmi
matitaMathView.cmx: matitaCicMisc.cmx matitaTypes.cmx matitaMathView.cmi