ult_impl.vo: ult_impl.v impl_large.vo
ult_impl.vi: ult_impl.v impl_large.vo
reduccion2_tes.vo: reduccion2_tes.v ideal_tes.vo orden_pol.vo
reduccion2_tes.vi: reduccion2_tes.v ideal_tes.vo orden_pol.vo
red_expl.vo: red_expl.v Hmtc_axiom.vo
red_expl.vi: red_expl.v Hmtc_axiom.vo
prueba_tes.vo: prueba_tes.v pol_can.vo
prueba_tes.vi: prueba_tes.v pol_can.vo
pol_can.vo: pol_can.v coeficiente_tes.vo
pol_can.vi: pol_can.v coeficiente_tes.vo
orden_term.vo: orden_term.v Termes_tes.vo
orden_term.vi: orden_term.v Termes_tes.vo
orden_pol.vo: orden_pol.v Hmtc.vo
orden_pol.vi: orden_pol.v Hmtc.vo
nueva_equiv2_tes.vo: nueva_equiv2_tes.v lemma_cong_red2_tes.vo
nueva_equiv2_tes.vi: nueva_equiv2_tes.v lemma_cong_red2_tes.vo
normal_tes.vo: normal_tes.v noetred_tes.vo
normal_tes.vi: normal_tes.v noetred_tes.vo
noetred_tes.vo: noetred_tes.v Axiomas_n_full2_tes.vo
noetred_tes.vi: noetred_tes.v Axiomas_n_full2_tes.vo
lemma_cong_red2_tes.vo: lemma_cong_red2_tes.v congr_y_red2_tes.vo
lemma_cong_red2_tes.vi: lemma_cong_red2_tes.v congr_y_red2_tes.vo
impl_large.vo: impl_large.v red_expl.vo
impl_large.vi: impl_large.v red_expl.vo
ideal_tes.vo: ideal_tes.v ecuaciones_tes.vo
ideal_tes.vi: ideal_tes.v ecuaciones_tes.vo
ecuaciones_tes.vo: ecuaciones_tes.v Mult_poly_tes.vo
ecuaciones_tes.vi: ecuaciones_tes.v Mult_poly_tes.vo
divisib_tes.vo: divisib_tes.v orden_term.vo
divisib_tes.vi: divisib_tes.v orden_term.vo
congr_y_red2_tes.vo: congr_y_red2_tes.v reduccion2_tes.vo
congr_y_red2_tes.vi: congr_y_red2_tes.v reduccion2_tes.vo
coeficiente_tes.vo: coeficiente_tes.v Lcm_tes.vo Div_poly_tes.vo
coeficiente_tes.vi: coeficiente_tes.v Lcm_tes.vo Div_poly_tes.vo
Termes_tes.vo: Termes_tes.v
Termes_tes.vi: Termes_tes.v
Somme_poly_tes.vo: Somme_poly_tes.v Polynomes_tes.vo
Somme_poly_tes.vi: Somme_poly_tes.v Polynomes_tes.vo
S_poly_nuevo2_tes.vo: S_poly_nuevo2_tes.v normal_tes.vo
S_poly_nuevo2_tes.vi: S_poly_nuevo2_tes.v normal_tes.vo
Prop_basic2_tes.vo: Prop_basic2_tes.v nueva_equiv2_tes.vo
Prop_basic2_tes.vi: Prop_basic2_tes.v nueva_equiv2_tes.vo
Polynomes_tes.vo: Polynomes_tes.v Monomes_tes.vo
Polynomes_tes.vi: Polynomes_tes.v Monomes_tes.vo
Mult_poly_tes.vo: Mult_poly_tes.v Somme_poly_tes.vo
Mult_poly_tes.vi: Mult_poly_tes.v Somme_poly_tes.vo
Monomes_tes.vo: Monomes_tes.v divisib_tes.vo Corps_tes.vo
Monomes_tes.vi: Monomes_tes.v divisib_tes.vo Corps_tes.vo
Lcm_tes.vo: Lcm_tes.v divisib_tes.vo
Lcm_tes.vi: Lcm_tes.v divisib_tes.vo
Hmtc_axiom.vo: Hmtc_axiom.v S_poly_nuevo2_tes.vo
Hmtc_axiom.vi: Hmtc_axiom.v S_poly_nuevo2_tes.vo
Hmtc.vo: Hmtc.v pol_can.vo
Hmtc.vi: Hmtc.v pol_can.vo
Div_poly_tes.vo: Div_poly_tes.v ecuaciones_tes.vo
Div_poly_tes.vi: Div_poly_tes.v ecuaciones_tes.vo
Corps_tes.vo: Corps_tes.v
Corps_tes.vi: Corps_tes.v
Axiomas_n_full2_tes.vo: Axiomas_n_full2_tes.v Prop_basic2_tes.vo
Axiomas_n_full2_tes.vi: Axiomas_n_full2_tes.v Prop_basic2_tes.vo
ult_impl.html: ult_impl.v impl_large.html
reduccion2_tes.html: reduccion2_tes.v ideal_tes.html orden_pol.html
red_expl.html: red_expl.v Hmtc_axiom.html
prueba_tes.html: prueba_tes.v pol_can.html
pol_can.html: pol_can.v coeficiente_tes.html
orden_term.html: orden_term.v Termes_tes.html
orden_pol.html: orden_pol.v Hmtc.html
nueva_equiv2_tes.html: nueva_equiv2_tes.v lemma_cong_red2_tes.html
normal_tes.html: normal_tes.v noetred_tes.html
noetred_tes.html: noetred_tes.v Axiomas_n_full2_tes.html
lemma_cong_red2_tes.html: lemma_cong_red2_tes.v congr_y_red2_tes.html
impl_large.html: impl_large.v red_expl.html
ideal_tes.html: ideal_tes.v ecuaciones_tes.html
ecuaciones_tes.html: ecuaciones_tes.v Mult_poly_tes.html
divisib_tes.html: divisib_tes.v orden_term.html
congr_y_red2_tes.html: congr_y_red2_tes.v reduccion2_tes.html
coeficiente_tes.html: coeficiente_tes.v Lcm_tes.html Div_poly_tes.html
Termes_tes.html: Termes_tes.v
Somme_poly_tes.html: Somme_poly_tes.v Polynomes_tes.html
S_poly_nuevo2_tes.html: S_poly_nuevo2_tes.v normal_tes.html
Prop_basic2_tes.html: Prop_basic2_tes.v nueva_equiv2_tes.html
Polynomes_tes.html: Polynomes_tes.v Monomes_tes.html
Mult_poly_tes.html: Mult_poly_tes.v Somme_poly_tes.html
Monomes_tes.html: Monomes_tes.v divisib_tes.html Corps_tes.html
Lcm_tes.html: Lcm_tes.v divisib_tes.html
Hmtc_axiom.html: Hmtc_axiom.v S_poly_nuevo2_tes.html
Hmtc.html: Hmtc.v pol_can.html
Div_poly_tes.html: Div_poly_tes.v ecuaciones_tes.html
Corps_tes.html: Corps_tes.v
Axiomas_n_full2_tes.html: Axiomas_n_full2_tes.v Prop_basic2_tes.html
