X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FbGroundCounters.mrc;h=363f07fcff33877bf0ec2215e7bc2644220950fb;hp=bd88c9d6039ddde2281444ab9477713ea96d0543;hb=dbc57c92512c04b3fd88f8289bb8dbe99b2f90e0;hpb=baa54e5db0fb93c4242dd1b67a5018ca63206cf6

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/bGroundCounters.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/bGroundCounters.mrc
index bd88c9d60..363f07fcf 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/bGroundCounters.mrc
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/bGroundCounters.mrc
@@ -1,5 +1,4 @@
 PcsAnd b "" true false
-rtc_max, max
-rtc_shift, shift
-rtc_ism, test for constrained rt-transition counter
-rtc_ist, test for t-transition counter
+rtc_shift
+rtc_max
+rtc_plus