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

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