partial commit of the components before "conversion"

[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 003b3374736831dc5c4af2fd420ca9a8fd1a5e7f..8b80babf92ea0bc2895d977e0c07a2c1784daade 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/names.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/names.txt
@@ -47,7 +47,7 @@ f: flat
 l: abstraction
 n: native type annotation
 
-NAMING CONVENTIONS FOR TRANSFORMATIONS
+NAMING CONVENTIONS FOR TRANSFORMATIONS AND RELATED FORMS
 
 - first letter
 
@@ -59,8 +59,11 @@ t: context-free for terms
 
 -second letter
 
-p: parallel
-s: sequential
+i: irreducible form
+n: normal form
+p: parallel transformation
+r: reducible form
+s: sequential transformation
 
 - third letter
 
@@ -73,6 +76,6 @@ x: extended reduction
 
 - forth letter (if present)
 
-p: non-reflexive transitive closure
-q: reflexive closure
-s: reflexive transitive closure
+p: non-reflexive transitive closure (plus)
+q: reflexive closure                (question)
+s: reflexive transitive closure     (star)