X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fnames.txt;h=3e459a92d1f43aaef19657be0222ad68de78fd6b;hb=fdb2c62b58006b82c015ba70b494d50c7860e28f;hp=de1f378694a6ff01e7d50bfb2275d47ba1c32b41;hpb=4aa431513ffa0ce0accf81e6e9ea4b9314d468e3;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/names.txt b/matita/matita/contribs/lambdadelta/basic_2/names.txt
index de1f37869..3e459a92d 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -69,6 +69,7 @@ s: sequential transformation
 
 c: conversion
 d: decomposed extended reduction
+e: decomposed extended conversion
 q: restricted reduction
 r: reduction
 s: substitution