X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fnames.txt;h=c24186766a4a8658bdbd65170665401a3a03300c;hp=eba318b7e917b435104f7202086e19e71a3eb4c6;hb=3c8da07d7a5d7cf0432a83732a6d103f527afaef;hpb=2976c347e18717e691825ebdf73a5ce941c57d1b

diff --git a/matita/matita/contribs/lambdadelta/basic_2/names.txt b/matita/matita/contribs/lambdadelta/basic_2/names.txt
index eba318b7e..c24186766 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -39,6 +39,7 @@ NAMING CONVENTIONS FOR CONSTRUCTORS
 2: binary
 
 A: application to vector
+E: empty list
 F: boolean false
 T: boolean true