_CoqProject

-R theories QArithSternBrocot

-arg -w -arg -notation-overridden

theories/Field_Theory_Q.v
theories/general_Q.v
theories/homographicAcc_Qhomographic_sign.v
theories/homographic_correctness.v
theories/Merge_Order.v
theories/positive_fraction_encoding.v
theories/Qabs.v
theories/Q_Archimedean.v
theories/QArith_Stern_Brocot.v
theories/Q_denumerable.v
theories/Q_field.v
theories/Qhomographic_Qpositive_to_Qpositive.v
theories/Qhomographic_Qpositive_to_Q_properties.v
theories/Qhomographic_sign_properties.v
theories/Qhomographic_sign.v
theories/Qhomographic.v
theories/Qmax_min.v
theories/Q_ordered_field_properties.v
theories/Q_order.v
theories/Qpositive_le.v
theories/Qpositive_order.v
theories/Qpositive_plus_mult.v
theories/Qpositive_sub.v
theories/Qpositive.v
theories/Qquadratic_Qpositive_to_Qpositive.v
theories/Qquadratic_Qpositive_to_Q_properties.v
theories/Qquadratic_sign_properties.v
theories/Qquadratic_sign.v
theories/Qquadratic.v
theories/Qsyntax.v
theories/Q_to_R.v
theories/quadraticAcc_Qquadratic_sign.v
theories/quadratic_correctness.v
theories/R_addenda.v
theories/second_Field_Theory_Q.v
theories/sqrt2.v
theories/Zaux.v