X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fnames.txt;h=91449b0ba80c18df08ac6035fcfd7f79e3132027;hb=7e80b8d7a4b2c38729512dee28b3e0ecf9595c2a;hp=dc8f62eb0660348b59fd6b5dd3b934216c6f82a1;hpb=a145b5df4a86b3d5f8516a9c1cb76a62f6327151;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/names.txt b/matita/matita/contribs/lambdadelta/basic_2/names.txt
index dc8f62eb0..91449b0ba 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -78,13 +78,13 @@ b: (q)rst-reduction
 c: conversion
 d: decomposed rt-reduction
 e: decomposed rt-conversion
-g: generic rt-transition
+g: counted rt-transition (generic)
 q: restricted reduction
 r: reduction
 s: substitution
 u: supclosure
 w: reserved for generic pointwise extension
-x: rt-reduction
+x: uncounted rt-transition (extended)
 y: rt-substitution
 
 - forth letter (if present)