X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fnames.txt;h=a1cb0e0d1ffd934e32782e0975d176485bed39f4;hb=09b4420070d6a71990e16211e499b51dbb0742cb;hp=bf8778e2d8783c0c2e7143bf5ae665cc780a1799;hpb=bba53a83579540bc3925d47d679e2aad22e85755;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/names.txt b/matita/matita/contribs/lambdadelta/basic_2/names.txt
index bf8778e2d..a1cb0e0d1 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -26,9 +26,9 @@ i,j    : local reference depth (de Bruijn's)
 k,l    : global reference level
 m      : 
 n      : type iterations
-o      : sort degree parameter
+o      : sort degree parameter (origin)
 p,q    : binder polarity
-r      : reduction kind parameter (true = ordinary, false = extended)
+r      :
 s      : sort index
 t,u    :
 v,w    : local reference position level (de Bruijn's) (RTM)