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 eba318b7e917b435104f7202086e19e71a3eb4c6..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
@@ -39,6 +39,7 @@ NAMING CONVENTIONS FOR CONSTRUCTORS
 2: binary
 
 A: application to vector
+E: empty list
 F: boolean false
 T: boolean true