first definition of cpm:

[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 91449b0ba80c18df08ac6035fcfd7f79e3132027..bf8778e2d8783c0c2e7143bf5ae665cc780a1799 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -79,6 +79,7 @@ c: conversion
 d: decomposed rt-reduction
 e: decomposed rt-conversion
 g: counted rt-transition (generic)
+m: semi-counted rt-transition (mixed)
 q: restricted reduction
 r: reduction
 s: substitution