"cic:/matita/arithmetics/nat/nat_discr.con"
"cic:/matita/arithmetics/nat/times.con"
"cic:/matita/arithmetics/nat/times_n_1.con"
"cic:/matita/arithmetics/nat/times_Sn_m.con"
"cic:/matita/arithmetics/nat/leb.con"
"cic:/matita/arithmetics/nat/leb_elim.con"
"cic:/matita/arithmetics/nat/le_to_leb_true.con"
"cic:/matita/arithmetics/nat/not_le_to_leb_false.con"