nat/sqrt.ma nat/compare.ma nat/log.ma nat/times.ma
datatypes/categories.ma logic/cprop_connectives.ma
nat/relevant_equations.ma nat/gcd.ma nat/minus.ma nat/times.ma
dama/nat_ordered_set.ma nat/orders.ma dama/bishop_set.ma nat/compare.ma
nat/sqrt.ma nat/compare.ma nat/log.ma nat/times.ma
datatypes/categories.ma logic/cprop_connectives.ma
nat/relevant_equations.ma nat/gcd.ma nat/minus.ma nat/times.ma
dama/nat_ordered_set.ma nat/orders.ma dama/bishop_set.ma nat/compare.ma