X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2FBasic_2%2Fnames.txt;h=9078f4aef95a70c6b03c5607004220375b370b81;hb=6ed2537d49a307259db46481469fa44b2cfc56e6;hp=c33d5a8ea972ac2ee0a89110a2a0f18848f1943e;hpb=55dc00c1c44cc21c7ae179cb9df03e7446002c46;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/Basic_2/names.txt b/matita/matita/contribs/lambda_delta/Basic_2/names.txt
index c33d5a8ea..9078f4aef 100644
--- a/matita/matita/contribs/lambda_delta/Basic_2/names.txt
+++ b/matita/matita/contribs/lambda_delta/Basic_2/names.txt
@@ -20,3 +20,5 @@ e      : relocation height
 h      : sort hierarchy parameter
 i,j    : local reference position index (de Bruijn's)
 k      : sort index
+p,q    : global reference position
+