matita/matita/contribs/lambdadelta/ground/arith/nat_etc.txt

   1 "cic:/matita/arithmetics/nat/nat_discr.con"
   2 "cic:/matita/arithmetics/nat/times.con"
   3 "cic:/matita/arithmetics/nat/times_n_1.con"
   4 "cic:/matita/arithmetics/nat/times_Sn_m.con"
   5 "cic:/matita/arithmetics/nat/leb.con"
   6 "cic:/matita/arithmetics/nat/leb_elim.con"
   7 "cic:/matita/arithmetics/nat/le_to_leb_true.con"
   8 "cic:/matita/arithmetics/nat/not_le_to_leb_false.con"