some renaming ...

[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 57b97d1d5dcf809a1083abaa18c91c4e2175bda6..5530ee711cb640a1f9bd740c31c647ee5fbf7a7d 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -76,6 +76,7 @@ e: decomposed extended conversion
 q: restricted reduction
 r: reduction
 s: substitution
+u: supclosure
 x: extended reduction
 
 - forth letter (if present)