- partial commit of rt_transition ...

[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 53d34c979d71232e7d0e58de94939b693210852b..2f0b3f40d9ec1b0e1810fcc2391cd05a517702fe 100644 (file)
--- 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