essais.vo: essais.v lib/MoreLogic.vo ptsmeta/Mmain.vo cci/Mkernel.vo
Extraction.vo: Extraction.v PExtraction.vo
GenericSort.vo: GenericSort.v
MoreCci.vo: MoreCci.v cci/Mkernel.vo lib/General.vo
Oper.vo: Oper.v lib/General.vo
PExtraction.vo: PExtraction.v MoreCci.vo
SortV6.vo: SortV6.v lib/General.vo GenericSort.vo
cci/CaseDec.vo: cci/CaseDec.v
cci/CciMeta.vo: cci/CciMeta.v
cci/CciPts.vo: cci/CciPts.v cci/JudgeSyntax1.v
cci/CciSyntax.vo: cci/CciSyntax.v
cci/CoreDec.vo: cci/CoreDec.v
cci/Cumulativity.vo: cci/Cumulativity.v
cci/EqualDec.vo: cci/EqualDec.v
cci/Equal.vo: cci/Equal.v
cci/ErrorStrings.vo: cci/ErrorStrings.v
cci/FixDec.vo: cci/FixDec.v
cci/InclSign.vo: cci/InclSign.v
cci/IndDec.vo: cci/IndDec.v
cci/InvEqual.vo: cci/InvEqual.v
cci/InvReduction.vo: cci/InvReduction.v
cci/InvSubtyping.vo: cci/InvSubtyping.v
cci/JudgeSyntax1.vo: cci/JudgeSyntax1.v
cci/JudgeSyntax2.vo: cci/JudgeSyntax2.v
cci/Kernel.vo: cci/Kernel.v
cci/Lambda_Rules.vo: cci/Lambda_Rules.v
cci/Marks.vo: cci/Marks.v
cci/McciSyntax.vo: cci/McciSyntax.v ptsmeta/McocSyntax.vo cci/CciSyntax.v
cci/Mcumulativity.vo: cci/Mcumulativity.v cci/Mvect.vo ptsmeta/Mrules.vo cci/Cumulativity.v
cci/MinclSign.vo: cci/MinclSign.v cci/Msign.vo cci/JudgeSyntax2.v cci/InclSign.v
cci/Mkernel.vo: cci/Mkernel.v cci/MsignCheck.vo cci/Kernel.v
cci/MlambdaRules.vo: cci/MlambdaRules.v cci/Mmarks.vo ptsmeta/Mrules.vo cci/Msignature.vo cci/Lambda_Rules.v
cci/Mmarks.vo: cci/Mmarks.v ptsmeta/Menv.vo cci/MtypCtxt.vo cci/Mvect.vo cci/Marks.v
cci/Mrecords.vo: cci/Mrecords.v cci/McciSyntax.vo cci/Mvect.vo cci/Records.v
cci/Msignature.vo: cci/Msignature.v ptsmeta/Menv.vo cci/Signature.v
cci/MsignCheck.vo: cci/MsignCheck.v cci/MwfSign.vo cci/SignCheck.v
cci/Msign.vo: cci/Msign.v ptsmeta/Mtyping.vo ptsmeta/Msoundness.vo cci/MtypCtxt.vo cci/Mrecords.vo cci/MlambdaRules.vo cci/Mcumulativity.vo cci/MtypCase.vo cci/MtypFix.vo ptsmeta/Mnormal.vo ptsmeta/Morder.vo cci/Equal.v cci/InvReduction.v cci/InvEqual.v cci/Subtyping.v cci/InvSubtyping.v cci/ReductionDec.v cci/EqualDec.v cci/SubtypingDec.v cci/CciPts.v cci/CciMeta.v cci/SignCorrectness.v cci/SubjRed.v cci/CoreDec.v cci/RecordDec.v cci/FixDec.v cci/IndDec.v cci/CaseDec.v cci/SignDec.v
cci/MtypCase.vo: cci/MtypCase.v cci/Msignature.vo cci/Mmarks.vo lib/MlPrint.vo cci/TypCase.v
cci/MtypCtxt.vo: cci/MtypCtxt.v ptsmeta/Mrules.vo cci/Mrecords.vo cci/TypCtxt.v
cci/MtypFix.vo: cci/MtypFix.v cci/Msignature.vo cci/Mmarks.vo cci/TypFix.v
cci/Mvect.vo: cci/Mvect.v ptsmeta/Mtermes.vo ptsmeta/McocSyntax.vo cci/Vect.v
cci/MwfSign.vo: cci/MwfSign.v cci/MinclSign.vo cci/WfSign.v
cci/RecordDec.vo: cci/RecordDec.v
cci/Records.vo: cci/Records.v
cci/ReductionDec.vo: cci/ReductionDec.v
cci/Signature.vo: cci/Signature.v
cci/SignCheck.vo: cci/SignCheck.v
cci/SignCorrectness.vo: cci/SignCorrectness.v
cci/SignDec.vo: cci/SignDec.v
cci/SubjRed.vo: cci/SubjRed.v
cci/SubtypingDec.vo: cci/SubtypingDec.v
cci/Subtyping.vo: cci/Subtyping.v
cci/TypCase.vo: cci/TypCase.v
cci/TypCtxt.vo: cci/TypCtxt.v
cci/TypFix.vo: cci/TypFix.v
cci/Vect.vo: cci/Vect.v
cci/WfSign.vo: cci/WfSign.v
extract/examples.vo: extract/examples.v
extract/Extract.vo: extract/Extract.v lib/MlExtract.v cci/Mkernel.vo Extraction.vo cci/ErrorStrings.v
extract/prelude.vo: extract/prelude.v
lib/General.vo: lib/General.v lib/Union.vo lib/MoreLogic.vo lib/MoreList.vo lib/MoreSyntax.vo lib/Option.vo
lib/MlExtract.vo: lib/MlExtract.v lib/MlInteger.vo lib/MlString.vo lib/MlPrint.vo lib/MoreSyntax.vo lib/Option.vo
lib/MlInteger.vo: lib/MlInteger.v
lib/MlPrint.vo: lib/MlPrint.v lib/MlString.vo
lib/MlString.vo: lib/MlString.v lib/MoreList.vo lib/MlInteger.vo
lib/MoreList.vo: lib/MoreList.v lib/MoreLogic.vo
lib/MoreLogic.vo: lib/MoreLogic.v
lib/MoreSyntax.vo: lib/MoreSyntax.v
lib/Option.vo: lib/Option.v
lib/Union.vo: lib/Union.v
ptsmeta/CocSyntax.vo: ptsmeta/CocSyntax.v
ptsmeta/Confluence.vo: ptsmeta/Confluence.v
ptsmeta/Ctxt.vo: ptsmeta/Ctxt.v
ptsmeta/Env.vo: ptsmeta/Env.v
ptsmeta/Infer.vo: ptsmeta/Infer.v
ptsmeta/JudgeSyntax0.vo: ptsmeta/JudgeSyntax0.v
ptsmeta/JudgeSyntax.vo: ptsmeta/JudgeSyntax.v
ptsmeta/Machops.vo: ptsmeta/Machops.v
ptsmeta/Mach.vo: ptsmeta/Mach.v
ptsmeta/McocSyntax.vo: ptsmeta/McocSyntax.v ptsmeta/Mtermes.vo ptsmeta/CocSyntax.v
ptsmeta/Mconfluence.vo: ptsmeta/Mconfluence.v ptsmeta/Menv.vo ptsmeta/Mrules.vo ptsmeta/Confluence.v
ptsmeta/Mctxt.vo: ptsmeta/Mctxt.v ptsmeta/Mrules.vo ptsmeta/Ctxt.v
ptsmeta/Menv.vo: ptsmeta/Menv.v ptsmeta/Mtermes.vo ptsmeta/McocSyntax.vo ptsmeta/Env.v
ptsmeta/Metatheory.vo: ptsmeta/Metatheory.v ptsmeta/JudgeSyntax.v
ptsmeta/Mmain.vo: ptsmeta/Mmain.v lib/MlString.vo SortV6.vo lib/General.vo Oper.v
ptsmeta/Mnormal.vo: ptsmeta/Mnormal.v ptsmeta/Mctxt.vo ptsmeta/Mconfluence.vo ptsmeta/Normal.v
ptsmeta/Morder.vo: ptsmeta/Morder.v ptsmeta/Mnormal.vo ptsmeta/Order.v
ptsmeta/MparCtxt.vo: ptsmeta/MparCtxt.v ptsmeta/Mctxt.vo ptsmeta/MparSubst.vo ptsmeta/ParCtxt.v
ptsmeta/MparSubst.vo: ptsmeta/MparSubst.v ptsmeta/Mtermes.vo ptsmeta/McocSyntax.vo ptsmeta/ParSubst.v
ptsmeta/MPTS_spec.vo: ptsmeta/MPTS_spec.v ptsmeta/Menv.vo ptsmeta/PTS_spec.v
ptsmeta/Mrules.vo: ptsmeta/Mrules.v ptsmeta/Menv.vo ptsmeta/Rules.v
ptsmeta/Msoundness.vo: ptsmeta/Msoundness.v ptsmeta/Mtyping.vo ptsmeta/MparCtxt.vo ptsmeta/Soundness.v
ptsmeta/Mtermes.vo: ptsmeta/Mtermes.v ptsmeta/Mmain.vo ptsmeta/Termes.v
ptsmeta/Mtyping.vo: ptsmeta/Mtyping.v ptsmeta/MPTS_spec.vo lib/MlPrint.vo ptsmeta/Metatheory.v ptsmeta/Infer.v ptsmeta/Machops.v ptsmeta/Mach.v
ptsmeta/Normal.vo: ptsmeta/Normal.v
ptsmeta/Order.vo: ptsmeta/Order.v
ptsmeta/ParCtxt.vo: ptsmeta/ParCtxt.v
ptsmeta/ParSubst.vo: ptsmeta/ParSubst.v
ptsmeta/PTS_spec.vo: ptsmeta/PTS_spec.v
ptsmeta/Rules.vo: ptsmeta/Rules.v
ptsmeta/Soundness.vo: ptsmeta/Soundness.v ptsmeta/JudgeSyntax0.v
ptsmeta/Termes.vo: ptsmeta/Termes.v
essais.html: essais.v lib/MoreLogic.html ptsmeta/Mmain.html cci/Mkernel.html
Extraction.html: Extraction.v PExtraction.html
GenericSort.html: GenericSort.v
MoreCci.html: MoreCci.v cci/Mkernel.html lib/General.html
Oper.html: Oper.v lib/General.html
PExtraction.html: PExtraction.v MoreCci.html
SortV6.html: SortV6.v lib/General.html GenericSort.html
cci/CaseDec.html: cci/CaseDec.v
cci/CciMeta.html: cci/CciMeta.v
cci/CciPts.html: cci/CciPts.v cci/JudgeSyntax1.v
cci/CciSyntax.html: cci/CciSyntax.v
cci/CoreDec.html: cci/CoreDec.v
cci/Cumulativity.html: cci/Cumulativity.v
cci/EqualDec.html: cci/EqualDec.v
cci/Equal.html: cci/Equal.v
cci/ErrorStrings.html: cci/ErrorStrings.v
cci/FixDec.html: cci/FixDec.v
cci/InclSign.html: cci/InclSign.v
cci/IndDec.html: cci/IndDec.v
cci/InvEqual.html: cci/InvEqual.v
cci/InvReduction.html: cci/InvReduction.v
cci/InvSubtyping.html: cci/InvSubtyping.v
cci/JudgeSyntax1.html: cci/JudgeSyntax1.v
cci/JudgeSyntax2.html: cci/JudgeSyntax2.v
cci/Kernel.html: cci/Kernel.v
cci/Lambda_Rules.html: cci/Lambda_Rules.v
cci/Marks.html: cci/Marks.v
cci/McciSyntax.html: cci/McciSyntax.v ptsmeta/McocSyntax.html cci/CciSyntax.v
cci/Mcumulativity.html: cci/Mcumulativity.v cci/Mvect.html ptsmeta/Mrules.html cci/Cumulativity.v
cci/MinclSign.html: cci/MinclSign.v cci/Msign.html cci/JudgeSyntax2.v cci/InclSign.v
cci/Mkernel.html: cci/Mkernel.v cci/MsignCheck.html cci/Kernel.v
cci/MlambdaRules.html: cci/MlambdaRules.v cci/Mmarks.html ptsmeta/Mrules.html cci/Msignature.html cci/Lambda_Rules.v
cci/Mmarks.html: cci/Mmarks.v ptsmeta/Menv.html cci/MtypCtxt.html cci/Mvect.html cci/Marks.v
cci/Mrecords.html: cci/Mrecords.v cci/McciSyntax.html cci/Mvect.html cci/Records.v
cci/Msignature.html: cci/Msignature.v ptsmeta/Menv.html cci/Signature.v
cci/MsignCheck.html: cci/MsignCheck.v cci/MwfSign.html cci/SignCheck.v
cci/Msign.html: cci/Msign.v ptsmeta/Mtyping.html ptsmeta/Msoundness.html cci/MtypCtxt.html cci/Mrecords.html cci/MlambdaRules.html cci/Mcumulativity.html cci/MtypCase.html cci/MtypFix.html ptsmeta/Mnormal.html ptsmeta/Morder.html cci/Equal.v cci/InvReduction.v cci/InvEqual.v cci/Subtyping.v cci/InvSubtyping.v cci/ReductionDec.v cci/EqualDec.v cci/SubtypingDec.v cci/CciPts.v cci/CciMeta.v cci/SignCorrectness.v cci/SubjRed.v cci/CoreDec.v cci/RecordDec.v cci/FixDec.v cci/IndDec.v cci/CaseDec.v cci/SignDec.v
cci/MtypCase.html: cci/MtypCase.v cci/Msignature.html cci/Mmarks.html lib/MlPrint.html cci/TypCase.v
cci/MtypCtxt.html: cci/MtypCtxt.v ptsmeta/Mrules.html cci/Mrecords.html cci/TypCtxt.v
cci/MtypFix.html: cci/MtypFix.v cci/Msignature.html cci/Mmarks.html cci/TypFix.v
cci/Mvect.html: cci/Mvect.v ptsmeta/Mtermes.html ptsmeta/McocSyntax.html cci/Vect.v
cci/MwfSign.html: cci/MwfSign.v cci/MinclSign.html cci/WfSign.v
cci/RecordDec.html: cci/RecordDec.v
cci/Records.html: cci/Records.v
cci/ReductionDec.html: cci/ReductionDec.v
cci/Signature.html: cci/Signature.v
cci/SignCheck.html: cci/SignCheck.v
cci/SignCorrectness.html: cci/SignCorrectness.v
cci/SignDec.html: cci/SignDec.v
cci/SubjRed.html: cci/SubjRed.v
cci/SubtypingDec.html: cci/SubtypingDec.v
cci/Subtyping.html: cci/Subtyping.v
cci/TypCase.html: cci/TypCase.v
cci/TypCtxt.html: cci/TypCtxt.v
cci/TypFix.html: cci/TypFix.v
cci/Vect.html: cci/Vect.v
cci/WfSign.html: cci/WfSign.v
extract/examples.html: extract/examples.v
extract/Extract.html: extract/Extract.v lib/MlExtract.v cci/Mkernel.html Extraction.html cci/ErrorStrings.v
extract/prelude.html: extract/prelude.v
lib/General.html: lib/General.v lib/Union.html lib/MoreLogic.html lib/MoreList.html lib/MoreSyntax.html lib/Option.html
lib/MlExtract.html: lib/MlExtract.v lib/MlInteger.html lib/MlString.html lib/MlPrint.html lib/MoreSyntax.html lib/Option.html
lib/MlInteger.html: lib/MlInteger.v
lib/MlPrint.html: lib/MlPrint.v lib/MlString.html
lib/MlString.html: lib/MlString.v lib/MoreList.html lib/MlInteger.html
lib/MoreList.html: lib/MoreList.v lib/MoreLogic.html
lib/MoreLogic.html: lib/MoreLogic.v
lib/MoreSyntax.html: lib/MoreSyntax.v
lib/Option.html: lib/Option.v
lib/Union.html: lib/Union.v
ptsmeta/CocSyntax.html: ptsmeta/CocSyntax.v
ptsmeta/Confluence.html: ptsmeta/Confluence.v
ptsmeta/Ctxt.html: ptsmeta/Ctxt.v
ptsmeta/Env.html: ptsmeta/Env.v
ptsmeta/Infer.html: ptsmeta/Infer.v
ptsmeta/JudgeSyntax0.html: ptsmeta/JudgeSyntax0.v
ptsmeta/JudgeSyntax.html: ptsmeta/JudgeSyntax.v
ptsmeta/Machops.html: ptsmeta/Machops.v
ptsmeta/Mach.html: ptsmeta/Mach.v
ptsmeta/McocSyntax.html: ptsmeta/McocSyntax.v ptsmeta/Mtermes.html ptsmeta/CocSyntax.v
ptsmeta/Mconfluence.html: ptsmeta/Mconfluence.v ptsmeta/Menv.html ptsmeta/Mrules.html ptsmeta/Confluence.v
ptsmeta/Mctxt.html: ptsmeta/Mctxt.v ptsmeta/Mrules.html ptsmeta/Ctxt.v
ptsmeta/Menv.html: ptsmeta/Menv.v ptsmeta/Mtermes.html ptsmeta/McocSyntax.html ptsmeta/Env.v
ptsmeta/Metatheory.html: ptsmeta/Metatheory.v ptsmeta/JudgeSyntax.v
ptsmeta/Mmain.html: ptsmeta/Mmain.v lib/MlString.html SortV6.html lib/General.html Oper.v
ptsmeta/Mnormal.html: ptsmeta/Mnormal.v ptsmeta/Mctxt.html ptsmeta/Mconfluence.html ptsmeta/Normal.v
ptsmeta/Morder.html: ptsmeta/Morder.v ptsmeta/Mnormal.html ptsmeta/Order.v
ptsmeta/MparCtxt.html: ptsmeta/MparCtxt.v ptsmeta/Mctxt.html ptsmeta/MparSubst.html ptsmeta/ParCtxt.v
ptsmeta/MparSubst.html: ptsmeta/MparSubst.v ptsmeta/Mtermes.html ptsmeta/McocSyntax.html ptsmeta/ParSubst.v
ptsmeta/MPTS_spec.html: ptsmeta/MPTS_spec.v ptsmeta/Menv.html ptsmeta/PTS_spec.v
ptsmeta/Mrules.html: ptsmeta/Mrules.v ptsmeta/Menv.html ptsmeta/Rules.v
ptsmeta/Msoundness.html: ptsmeta/Msoundness.v ptsmeta/Mtyping.html ptsmeta/MparCtxt.html ptsmeta/Soundness.v
ptsmeta/Mtermes.html: ptsmeta/Mtermes.v ptsmeta/Mmain.html ptsmeta/Termes.v
ptsmeta/Mtyping.html: ptsmeta/Mtyping.v ptsmeta/MPTS_spec.html lib/MlPrint.html ptsmeta/Metatheory.v ptsmeta/Infer.v ptsmeta/Machops.v ptsmeta/Mach.v
ptsmeta/Normal.html: ptsmeta/Normal.v
ptsmeta/Order.html: ptsmeta/Order.v
ptsmeta/ParCtxt.html: ptsmeta/ParCtxt.v
ptsmeta/ParSubst.html: ptsmeta/ParSubst.v
ptsmeta/PTS_spec.html: ptsmeta/PTS_spec.v
ptsmeta/Rules.html: ptsmeta/Rules.v
ptsmeta/Soundness.html: ptsmeta/Soundness.v ptsmeta/JudgeSyntax0.v
ptsmeta/Termes.html: ptsmeta/Termes.v
