milestone update in ground

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

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/rGroundLib.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/rGroundLib.mrc
index 7c2382e2231a7b93acf873c774f84f6891380d71..47cd15405e59b2610364846dfdf3a186db60e320 100644 (file)
--- 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