X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Farith%2Fnat.txt;h=7fbb2d7b798271efe48d066fe5819df06b23b9b3;hp=96c8c9cc3c665bb130e058c9f868e1379729a28e;hb=74c6905907b0bca229366d52450e2a6982b5b8be;hpb=df7a2aa19e98dc28e7f22129275a175cead49e2d

diff --git a/matita/matita/contribs/lambdadelta/ground/arith/nat.txt b/matita/matita/contribs/lambdadelta/ground/arith/nat.txt
index 96c8c9cc3..7fbb2d7b7 100644
--- a/matita/matita/contribs/lambdadelta/ground/arith/nat.txt
+++ b/matita/matita/contribs/lambdadelta/ground/arith/nat.txt
@@ -56,19 +56,22 @@
 "cic:/matita/arithmetics/nat/f_ind.con"
 "cic:/matita/arithmetics/nat/f2_ind.con"
 "cic:/matita/arithmetics/nat/f3_ind.con"
-
-####################################
-
-"cic:/matita/arithmetics/nat/lt_plus_Sn_r.con"
-"cic:/matita/arithmetics/nat/lt_plus_to_lt_l.con"
+#
 "cic:/matita/arithmetics/nat/monotonic_lt_plus_l.con"
 "cic:/matita/arithmetics/nat/monotonic_lt_plus_r.con"
-
-"cic:/matita/arithmetics/nat/le_pred_n.con"
+"cic:/matita/arithmetics/nat/lt_plus_Sn_r.con"
+"cic:/matita/arithmetics/nat/lt_plus_to_lt_l.con"
+#
 "cic:/matita/arithmetics/nat/pred.con"
+#
 "cic:/matita/arithmetics/nat/pred_Sn.con"
-"cic:/matita/arithmetics/nat/S_pred.con"
+#
+"cic:/matita/arithmetics/nat/le_pred_n.con"
 "cic:/matita/arithmetics/nat/monotonic_pred.con"
+#
+"cic:/matita/arithmetics/nat/S_pred.con"
+
+####################################
 
 "cic:/matita/arithmetics/nat/discr_minus_x_xy.con"
 "cic:/matita/arithmetics/nat/discr_plus_xy_minus_xz.con"