update in basic_2

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

diff --git a/matita/matita/contribs/lambdadelta/basic_2/names.txt b/matita/matita/contribs/lambdadelta/basic_2/names.txt
index c24186766a4a8658bdbd65170665401a3a03300c..1f1d889d74b0ff1c30d934738fd2d01c0cdff0e2 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -15,7 +15,7 @@ S      : RTM stack
 T,U,V,W: term
 X,Y,Z  : reserved: transient objet denoted by a capital letter
 
-a      :
+a      : applicability condition (true = restricted, false = general)
 b      : local dropping kind parameter (true = restricted, false = general)
 c      : rt-reduction count parameter
 d      : term degree