some improvements before setting up the exclusion binder

[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 fbf3612a6a7e8a7eaa03b618b5c878efa4b5c686..c6ba0e03d06f96f180de3ed9df4f1b5083093cd7 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -47,6 +47,7 @@ a: application
 b: generic binder with one argument 
 d: abbreviation
 f: generic flat with one argument
+i: generic binder for local environments
 l: typed abstraction
 n: native type annotation
 u: generic binder with zero argument