-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
-pxpUriResolver.cmo: configuration.cmo
-pxpUriResolver.cmx: configuration.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