X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fdelayed_updating%2Fnames.txt;h=715cb268e31b0055130c42ac5c27ba0de6d41b30;hb=d06053844638d88936d711b66fddbcca2a9add1c;hp=aee943494a84dba2bf03e88a28d89fe62a807a76;hpb=3af42b8f2cb1956eed14edcc0adb9df92601f248;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/names.txt b/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
index aee943494..715cb268e 100644
--- a/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
@@ -1,9 +1,11 @@
 METAVARIABLES
 
   b         : balanced path
+  d         : depth
   f, g      : update function
   h, k      : reference index by depth
   l         : label
   m, n      : natural number
+  o         : option
   p, q, r, s: path
   t, u, v, w: term