experiment.cmo: cicCache.cmi cicPp.cmi configuration.cmo getter.cmi \
    uriManager.cmi 
experiment.cmx: cicCache.cmx cicPp.cmx configuration.cmx getter.cmx \
    uriManager.cmx 
cicCache.cmo: annotationParser.cmo cic.cmo cicParser.cmi cicSubstitution.cmi \
    deannotate.cmo getter.cmi uriManager.cmi cicCache.cmi 
cicCache.cmx: annotationParser.cmx cic.cmx cicParser.cmx cicSubstitution.cmx \
    deannotate.cmx getter.cmx uriManager.cmx cicCache.cmi 
cicCache.cmi: cic.cmo uriManager.cmi 
cicPp.cmo: cic.cmo cicCache.cmi uriManager.cmi cicPp.cmi 
cicPp.cmx: cic.cmx cicCache.cmx uriManager.cmx cicPp.cmi 
cicPp.cmi: cic.cmo 
cicParser.cmo: cicParser2.cmi cicParser3.cmi pxpUriResolver.cmo \
    uriManager.cmi cicParser.cmi 
cicParser.cmx: cicParser2.cmx cicParser3.cmx pxpUriResolver.cmx \
    uriManager.cmx cicParser.cmi 
cicParser.cmi: cic.cmo uriManager.cmi 
cicParser2.cmo: cic.cmo cicParser3.cmi uriManager.cmi cicParser2.cmi 
cicParser2.cmx: cic.cmx cicParser3.cmx uriManager.cmx cicParser2.cmi 
cicParser2.cmi: cic.cmo cicParser3.cmi 
cicParser3.cmo: cic.cmo uriManager.cmi cicParser3.cmi 
cicParser3.cmx: cic.cmx uriManager.cmx cicParser3.cmi 
cicParser3.cmi: cic.cmo uriManager.cmi 
cic.cmo: uriManager.cmi 
cic.cmx: uriManager.cmx 
getter.cmo: configuration.cmo uriManager.cmi getter.cmi 
getter.cmx: configuration.cmx uriManager.cmx getter.cmi 
getter.cmi: uriManager.cmi 
cicReduction.cmo: cic.cmo cicCache.cmi cicPp.cmi cicSubstitution.cmi \
    uriManager.cmi cicReduction.cmi 
cicReduction.cmx: cic.cmx cicCache.cmx cicPp.cmx cicSubstitution.cmx \
    uriManager.cmx cicReduction.cmi 
cicReduction.cmi: cic.cmo 
cicTypeChecker.cmo: cic.cmo cicCache.cmi cicPp.cmi cicReduction.cmi \
    cicSubstitution.cmi uriManager.cmi cicTypeChecker.cmi 
cicTypeChecker.cmx: cic.cmx cicCache.cmx cicPp.cmx cicReduction.cmx \
    cicSubstitution.cmx uriManager.cmx cicTypeChecker.cmi 
cicTypeChecker.cmi: uriManager.cmi 
reduction.cmo: cic.cmo cicCache.cmi cicPp.cmi cicReduction.cmi \
    cicTypeChecker.cmi configuration.cmo getter.cmi uriManager.cmi 
reduction.cmx: cic.cmx cicCache.cmx cicPp.cmx cicReduction.cmx \
    cicTypeChecker.cmx configuration.cmx getter.cmx uriManager.cmx 
theoryParser.cmo: pxpUriResolver.cmo theoryParser2.cmo 
theoryParser.cmx: pxpUriResolver.cmx theoryParser2.cmx 
theoryParser2.cmo: theory.cmo 
theoryParser2.cmx: theory.cmx 
theoryTypeChecker.cmo: cicCache.cmi cicTypeChecker.cmi theory.cmo \
    theoryCache.cmo uriManager.cmi 
theoryTypeChecker.cmx: cicCache.cmx cicTypeChecker.cmx theory.cmx \
    theoryCache.cmx uriManager.cmx 
cicCooking.cmo: cic.cmo cicCache.cmi uriManager.cmi cicCooking.cmi 
cicCooking.cmx: cic.cmx cicCache.cmx uriManager.cmx cicCooking.cmi 
cicCooking.cmi: cic.cmo uriManager.cmi 
cicFindParameters.cmo: cic.cmo cic2Xml.cmo cicCache.cmi configuration.cmo \
    uriManager.cmi xml.cmi 
cicFindParameters.cmx: cic.cmx cic2Xml.cmx cicCache.cmx configuration.cmx \
    uriManager.cmx xml.cmx 
theoryCache.cmo: getter.cmi theoryParser.cmo 
theoryCache.cmx: getter.cmx theoryParser.cmx 
fix_params.cmo: cicFindParameters.cmo configuration.cmo deannotate.cmo \
    getter.cmi uriManager.cmi 
fix_params.cmx: cicFindParameters.cmx configuration.cmx deannotate.cmx \
    getter.cmx uriManager.cmx 
cic2Xml.cmo: cic.cmo uriManager.cmi xml.cmi 
cic2Xml.cmx: cic.cmx uriManager.cmx xml.cmx 
xml.cmo: xml.cmi 
xml.cmx: xml.cmi 
uriManager.cmo: uriManager.cmi 
uriManager.cmx: uriManager.cmi 
cicSubstitution.cmo: cic.cmo cicSubstitution.cmi 
cicSubstitution.cmx: cic.cmx cicSubstitution.cmi 
cicSubstitution.cmi: cic.cmo uriManager.cmi 
mmlinterface.cmo: annotation2Xml.cmo cicAnnotationHinter.cmo cicCache.cmi \
    cicTypeChecker.cmi cicXPath.cmo configuration.cmo getter.cmi \
    theoryTypeChecker.cmo uriManager.cmi xml.cmi xsltProcessor.cmo 
mmlinterface.cmx: annotation2Xml.cmx cicAnnotationHinter.cmx cicCache.cmx \
    cicTypeChecker.cmx cicXPath.cmx configuration.cmx getter.cmx \
    theoryTypeChecker.cmx uriManager.cmx xml.cmx xsltProcessor.cmx 
xsltProcessor.cmo: configuration.cmo uriManager.cmi 
xsltProcessor.cmx: configuration.cmx uriManager.cmx 
deannotate.cmo: cic.cmo 
deannotate.cmx: cic.cmx 
cicXPath.cmo: cic.cmo 
cicXPath.cmx: cic.cmx 
annotationParser.cmo: annotationParser2.cmo pxpUriResolver.cmo 
annotationParser.cmx: annotationParser2.cmx pxpUriResolver.cmx 
annotationParser2.cmo: cic.cmo 
annotationParser2.cmx: cic.cmx 
annotation2Xml.cmo: cic.cmo uriManager.cmi xml.cmi 
annotation2Xml.cmx: cic.cmx uriManager.cmx xml.cmx 
cicAnnotationHinter.cmo: cic.cmo 
cicAnnotationHinter.cmx: cic.cmx