Contents of peano_new/arithmetic/naturals/
add_multiply_min.gh
add_multiply_nat.ghi
common.gh
common.ghi
common2.gh
halfminus.gh
halfminus.ghi
import.ghi
inequality_min.gh
inequality_nat.gh
inequality_nat.ghi
inequality_nat_min.ghi
min_mod_div.gh
min_mod_div.ghi
mulcan_min.gh
natural_specific.gh
natural_specific.ghi
ordered_pair_nat.ghi
peano_min.ghi
recursion.gh
recursion_min.gh
recursion_min.ghi