milestone update in ground, partial commit

[helm.git] / matita / matita / contribs / lambdadelta / ground / arith / nat_etc.txt

diff --git a/matita/matita/contribs/lambdadelta/ground/arith/nat_etc.txt b/matita/matita/contribs/lambdadelta/ground/arith/nat_etc.txt
new file mode 100644 (file)
index 0000000..6d8387a
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/ground/arith/nat_etc.txt
@@ -0,0 +1,8 @@
+"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"