make_extr.vo: make_extr.v ../ProgramsExtraction.vo exp.vo exp_int.vo fact.vo fact_int.vo Handbook.vo
fact_int.vo: fact_int.v ../Programs.vo ../../contrib/omega/Omega.vo ../../contrib/polynom/ZArithRing.vo
fact.vo: fact.v ../Programs.vo ../../contrib/omega/Omega.vo
exp_int.vo: exp_int.v ../../contrib/omega/Zpower.vo ../../contrib/omega/Zcomplements.vo ../Programs.vo ../../contrib/polynom/ZArithRing.vo ../../contrib/omega/Omega.vo
exp.vo: exp.v ../Programs.vo ../../contrib/polynom/ArithRing.vo ../../contrib/polynom/ZArithRing.vo
Handbook.vo: Handbook.v ../Programs.vo ../../contrib/omega/Omega.vo ../../contrib/omega/Zcomplements.vo ../../contrib/omega/Zpower.vo
