TypeSyntax.vo: TypeSyntax.v
Rlimit.vo: Rlimit.v Rbasic_fun.vo
Rfunctions.vo: Rfunctions.v Rlimit.vo
Reals.vo: Reals.v TypeSyntax.vo Raxioms.vo Rbase.vo R_Ifp.vo Rbasic_fun.vo Rlimit.vo Rfunctions.vo Rderiv.vo
Rderiv.vo: Rderiv.v Rfunctions.vo ../LOGIC/Classical_Prop.vo ../LOGIC/Classical_Pred_Type.vo ../../tactics/contrib/omega/Omega.vo
Rbasic_fun.vo: Rbasic_fun.v R_Ifp.vo
Rbase.vo: Rbase.v Raxioms.vo ../../tactics/contrib/polynom/ZArithRing.vo ../LOGIC/Classical_Prop.vo ../../tactics/contrib/omega/Omega.vo
Raxioms.vo: Raxioms.v ../ZARITH/ZArith.vo TypeSyntax.vo
R_Ifp.vo: R_Ifp.v Rbase.vo ../../tactics/contrib/omega/Omega.vo
TypeSyntax.html: TypeSyntax.v
Rlimit.html: Rlimit.v Rbasic_fun.html
Rfunctions.html: Rfunctions.v Rlimit.html
Reals.html: Reals.v TypeSyntax.html Raxioms.html Rbase.html R_Ifp.html Rbasic_fun.html Rlimit.html Rfunctions.html Rderiv.html
Rderiv.html: Rderiv.v Rfunctions.html ../LOGIC/Classical_Prop.html ../LOGIC/Classical_Pred_Type.html ../../tactics/contrib/omega/Omega.html
Rbasic_fun.html: Rbasic_fun.v R_Ifp.html
Rbase.html: Rbase.v Raxioms.html ../../tactics/contrib/polynom/ZArithRing.html ../LOGIC/Classical_Prop.html ../../tactics/contrib/omega/Omega.html
Raxioms.html: Raxioms.v ../ZARITH/ZArith.html TypeSyntax.html
R_Ifp.html: R_Ifp.v Rbase.html ../../tactics/contrib/omega/Omega.html
