X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FsMain.mrc;h=fbb9e2dc552c5692c9a7c4f00e1df247601b53d8;hp=8ed0ff28d1198edcfc9fd285821e98c61a97e021;hb=4d232392091ee233afc26ecf3120dd5f5c6a33c8;hpb=da0775e27b362e91ea1453a800bc403781cc2ca3

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/sMain.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/sMain.mrc
index 8ed0ff28d..fbb9e2dc5 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/sMain.mrc
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/sMain.mrc
@@ -1,5 +1,7 @@
 check s "GcsAttr" false true
 constructions, properties
-inversions, inversion properties, inversion lemmas
+inversions,  inversion properties, inversion lemmas, inversion
 destructions, forward properties, forward lemmas
+equalities
 eliminations, eliminators
+iterators