X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fnames.txt;h=2f0b3f40d9ec1b0e1810fcc2391cd05a517702fe;hb=c3904c007394068ed823575e3be3d73a9ad92cce;hp=53d34c979d71232e7d0e58de94939b693210852b;hpb=fb246e36bb7d2731016e686e2091f6a3704bb362;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/names.txt b/matita/matita/contribs/lambdadelta/basic_2/names.txt
index 53d34c979..2f0b3f40d 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -77,6 +77,7 @@ b: (q)rst-reduction
 c: conversion
 d: decomposed rt-reduction
 e: decomposed rt-conversion
+g: generic rt-transition
 q: restricted reduction
 r: reduction
 s: substitution