"cic:/matita/arithmetics/nat/leb.con"
"cic:/matita/arithmetics/nat/leb_elim.con"
"cic:/matita/arithmetics/nat/le_maxl.con"
"cic:/matita/arithmetics/nat/le_maxr.con"
"cic:/matita/arithmetics/nat/le_to_leb_true.con"
"cic:/matita/arithmetics/nat/leb.con"
"cic:/matita/arithmetics/nat/leb_elim.con"
"cic:/matita/arithmetics/nat/le_maxl.con"
"cic:/matita/arithmetics/nat/le_maxr.con"
"cic:/matita/arithmetics/nat/le_to_leb_true.con"