ZQ_CRings.vo: ZQ_CRings.v QArith.vo ../CRings.vo
ZQ_CRings.vi: ZQ_CRings.v QArith.vo ../CRings.vo
R_mul_CSemi_grp.vo: R_mul_CSemi_grp.v R_CSemi_grp.vo
R_mul_CSemi_grp.vi: R_mul_CSemi_grp.v R_CSemi_grp.vo
R_CSemi_grp.vo: R_CSemi_grp.v ../COrdFields.vo
R_CSemi_grp.vi: R_CSemi_grp.v ../COrdFields.vo
R_CReals.vo: R_CReals.v R_COrdField.vo ../CReals.vo Q_COrdField.vo
R_CReals.vi: R_CReals.v R_COrdField.vo ../CReals.vo Q_COrdField.vo
R_COrdField.vo: R_COrdField.v R_CField.vo
R_COrdField.vi: R_COrdField.v R_CField.vo
R_CField.vo: R_CField.v R_mul_CSemi_grp.vo
R_CField.vi: R_CField.v R_mul_CSemi_grp.vo
Q_COrdField.vo: Q_COrdField.v Q_CField.vo ../COrdFields.vo
Q_COrdField.vi: Q_COrdField.v Q_CField.vo ../COrdFields.vo
Q_CField.vo: Q_CField.v ZQ_CRings.vo ../CFields.vo
Q_CField.vi: Q_CField.v ZQ_CRings.vo ../CFields.vo
QArith.vo: QArith.v
QArith.vi: QArith.v
ZQ_CRings.html: ZQ_CRings.v QArith.html ../CRings.html
R_mul_CSemi_grp.html: R_mul_CSemi_grp.v R_CSemi_grp.html
R_CSemi_grp.html: R_CSemi_grp.v ../COrdFields.html
R_CReals.html: R_CReals.v R_COrdField.html ../CReals.html Q_COrdField.html
R_COrdField.html: R_COrdField.v R_CField.html
R_CField.html: R_CField.v R_mul_CSemi_grp.html
Q_COrdField.html: Q_COrdField.v Q_CField.html ../COrdFields.html
Q_CField.html: Q_CField.v ZQ_CRings.html ../CFields.html
QArith.html: QArith.v
