Q/fraction/finv.ma Q/fraction/fraction.ma Z/plus.ma
Z/plus.ma Z/z.ma nat/minus.ma
nat/minus.ma nat/compare.ma nat/le_arith.ma
nat/generic_iter_p.ma nat/div_and_mod_diseq.ma nat/ord.ma nat/primes.ma
Q/Qaxioms.ma Z/compare.ma Z/times.ma nat/iteration2.ma
Z/z.ma datatypes/bool.ma nat/nat.ma
Q/fraction/finv.ma Q/fraction/fraction.ma Z/plus.ma
Z/plus.ma Z/z.ma nat/minus.ma
nat/minus.ma nat/compare.ma nat/le_arith.ma
nat/generic_iter_p.ma nat/div_and_mod_diseq.ma nat/ord.ma nat/primes.ma
Q/Qaxioms.ma Z/compare.ma Z/times.ma nat/iteration2.ma
Z/z.ma datatypes/bool.ma nat/nat.ma