X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrGroundCounters.mrc;h=35503a9f366669d0db3d6597b815944edcc268c8;hb=4d232392091ee233afc26ecf3120dd5f5c6a33c8;hp=72b0713509312bdd8000e68181219dc0668786f6;hpb=dbc57c92512c04b3fd88f8289bb8dbe99b2f90e0;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/rGroundCounters.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/rGroundCounters.mrc
index 72b071350..35503a9f3 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/rGroundCounters.mrc
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/rGroundCounters.mrc
@@ -1,4 +1,2 @@
 PccFor r "" true false
-ADDITION
-MAXIMUM, MAXIMUN
 SHIFT