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

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/names.txt b/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
index 715cb268e..a31ae3caa 100644
--- a/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
@@ -1,7 +1,9 @@
 METAVARIABLES
 
+  a         : auxiliary path
   b         : balanced path
   d         : depth
+  e         : excess
   f, g      : update function
   h, k      : reference index by depth
   l         : label