X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Frename.txt;h=0a7eb803cfaf36dab0aa191293a074c6d24b8290;hb=caf822cbe34e204e6d1b72e272373b561c1a565a;hp=aeb37f1333c23399a6f0bd48fb4ba7ca9b370550;hpb=277fc8ff21ce3dbd6893b1994c55cf5c06a98355;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/rename.txt b/matita/matita/contribs/lambdadelta/rename.txt
index aeb37f133..0a7eb803c 100644
--- a/matita/matita/contribs/lambdadelta/rename.txt
+++ b/matita/matita/contribs/lambdadelta/rename.txt
@@ -3,3 +3,4 @@ ahead_inj_snd -> leq_ahead_inj_dx
 arity_abbr    -> arity_ldef
 arity_abst    -> arity_ldec
 arity_head    -> arity_abst
+clt_thead     -> clt_ctail