update in binararies for λδ

[helm.git] / matita / matita / contribs / lambdadelta / rename.txt

diff --git a/matita/matita/contribs/lambdadelta/rename.txt b/matita/matita/contribs/lambdadelta/rename.txt
index aeb37f1333c23399a6f0bd48fb4ba7ca9b370550..0a7eb803cfaf36dab0aa191293a074c6d24b8290 100644 (file)
--- 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