X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrGroundLib.mrc;h=47cd15405e59b2610364846dfdf3a186db60e320;hb=55c768d7e45babb300b5010463ba3196a68f1bbe;hp=7c2382e2231a7b93acf873c774f84f6891380d71;hpb=15212e44902f25536f6e2de4bec4cedcd9a9804d;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/rGroundLib.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/rGroundLib.mrc
index 7c2382e22..47cd15405 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/rGroundLib.mrc
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/rGroundLib.mrc
@@ -6,5 +6,7 @@ TRANSITIVE CLOSURE
 LABELLED TRANSITIVE CLOSURE
 NAT-LABELED REFLEXIVE AND TRANSITIVE CLOSURE
 HEAD AND TAIL
+TAIL
 ITERATED TAIL
 LENGTH
+CONCATENATION, APPEND