- slicing relation for the global environment defined (gdrop)

[helm.git] / matita / matita / contribs / lambda_delta / Basic_2 / names.txt

diff --git a/matita/matita/contribs/lambda_delta/Basic_2/names.txt b/matita/matita/contribs/lambda_delta/Basic_2/names.txt
index c33d5a8ea972ac2ee0a89110a2a0f18848f1943e..9078f4aef95a70c6b03c5607004220375b370b81 100644 (file)
--- 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
+