X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fdelayed_updating%2Fnames.txt;h=cd980b56895087381b228a8fc0cb3c1955f4d0c1;hp=aee943494a84dba2bf03e88a28d89fe62a807a76;hb=797a607af83f82102033270087722a7e59ddcd17;hpb=b0c6bbd5db69489a5ebd1b36de6685fa6de441b3

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/names.txt b/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
index aee943494..cd980b568 100644
--- a/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
@@ -1,6 +1,7 @@
 METAVARIABLES
 
   b         : balanced path
+  d         : depth
   f, g      : update function
   h, k      : reference index by depth
   l         : label