X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda%2Fpolicy.txt;h=7743f9bbda954626ebb171114c749b05ce859401;hb=5ca47b58902b9f2583ad1354b860c04ea62df46c;hp=987d9f8b194b20631ea81e8f5d79d6ed18827407;hpb=2199f327081f49b21bdcd23d702b5e07ea4f58ce;p=helm.git

diff --git a/matita/matita/contribs/lambda/policy.txt b/matita/matita/contribs/lambda/policy.txt
index 987d9f8b1..7743f9bbd 100644
--- a/matita/matita/contribs/lambda/policy.txt
+++ b/matita/matita/contribs/lambda/policy.txt
@@ -9,9 +9,9 @@ R         : arbitrary relation
 T, U      : arbitrary small type
 
 c         : pointer step
-d, e      : variable reference depth 
+d, e      : variable reference level
 h         : relocation height
-i, j      : de Bruijn index
+i, j      : variable reference depth (de Bruijn index)
 k         : relocation height
 l         : arbitrary list
 m, n      : measures on terms