Q/Qaxioms.ma Z/compare.ma Z/times.ma nat/iteration2.ma
dama/uniform.ma dama/supremum.ma
demo/natural_deduction.ma didactic/support/natural_deduction.ma
higher_order_defs/ordering.ma logic/equality.ma
nat/congruence.ma nat/primes.ma nat/relevant_equations.ma
Q/Qaxioms.ma Z/compare.ma Z/times.ma nat/iteration2.ma
dama/uniform.ma dama/supremum.ma
demo/natural_deduction.ma didactic/support/natural_deduction.ma
higher_order_defs/ordering.ma logic/equality.ma
nat/congruence.ma nat/primes.ma nat/relevant_equations.ma