update in binaries 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
new file mode 100644 (file)
index 0000000..aeb37f1
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/rename.txt
@@ -0,0 +1,5 @@
+λδ-1A
+ahead_inj_snd -> leq_ahead_inj_dx
+arity_abbr    -> arity_ldef
+arity_abst    -> arity_ldec
+arity_head    -> arity_abst