logicalOperations.cmo: logicalOperations.cmi 
logicalOperations.cmx: logicalOperations.cmi 
matitaConsole.cmo: matitaConsole.cmi 
matitaConsole.cmx: matitaConsole.cmi 
matitaDisambiguator.cmo: matitaTypes.cmo matitaDisambiguator.cmi 
matitaDisambiguator.cmx: matitaTypes.cmx matitaDisambiguator.cmi 
matitaGeneratedGui.cmo: matitaGeneratedGui.cmi 
matitaGeneratedGui.cmx: matitaGeneratedGui.cmi 
matitaGtkMisc.cmo: matitaGeneratedGui.cmi matitaTypes.cmo matitaGtkMisc.cmi 
matitaGtkMisc.cmx: matitaGeneratedGui.cmx matitaTypes.cmx matitaGtkMisc.cmi 
matitaGui.cmo: matitaConsole.cmi matitaGeneratedGui.cmi matitaGtkMisc.cmi \
    matitaGui.cmi 
matitaGui.cmx: matitaConsole.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmx \
    matitaGui.cmi 
matitaInterpreter.cmo: matitaConsole.cmi matitaProof.cmi matitaTypes.cmo \
    matitaInterpreter.cmi 
matitaInterpreter.cmx: matitaConsole.cmx matitaProof.cmx matitaTypes.cmx \
    matitaInterpreter.cmi 
matitaMathView.cmo: matitaTypes.cmo matitaMathView.cmi 
matitaMathView.cmx: matitaTypes.cmx matitaMathView.cmi 
matita.cmo: buildTimeConf.cmo matitaDisambiguator.cmi matitaGtkMisc.cmi \
    matitaGui.cmi matitaInterpreter.cmi matitaProof.cmi matitaTypes.cmo 
matita.cmx: buildTimeConf.cmx matitaDisambiguator.cmx matitaGtkMisc.cmx \
    matitaGui.cmx matitaInterpreter.cmx matitaProof.cmx matitaTypes.cmx 
matitaProof.cmo: matitaTypes.cmo matitaProof.cmi 
matitaProof.cmx: matitaTypes.cmx matitaProof.cmi 
matitaTypes.cmo: buildTimeConf.cmo 
matitaTypes.cmx: buildTimeConf.cmx 
logicalOperations.cmi: matitaTypes.cmo 
matitaDisambiguator.cmi: matitaTypes.cmo 
matitaGtkMisc.cmi: matitaGeneratedGui.cmi matitaTypes.cmo 
matitaGui.cmi: matitaConsole.cmi matitaGeneratedGui.cmi 
matitaInterpreter.cmi: matitaConsole.cmi matitaTypes.cmo 
matitaMathView.cmi: matitaTypes.cmo 
matitaProof.cmi: matitaTypes.cmo