milestone update in ground, partial commit

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

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