propagating the arithmetics library, partial commit

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / bGroundCounters.mrc

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/bGroundCounters.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/bGroundCounters.mrc
index bd88c9d6039ddde2281444ab9477713ea96d0543..363f07fcff33877bf0ec2215e7bc2644220950fb 100644 (file)
--- 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