update in delayed_updating

[helm.git] / matita / matita / contribs / lambdadelta / delayed_updating / names.txt

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/names.txt b/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
index 715cb268e31b0055130c42ac5c27ba0de6d41b30..a31ae3caa71b5cdc8f75cfac40b93cbeacaabd7f 100644 (file)
--- 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