we started Kashima's proof of standardization

[helm.git] / matita / matita / contribs / lambda / policy.txt

diff --git a/matita/matita/contribs/lambda/policy.txt b/matita/matita/contribs/lambda/policy.txt
index 4d6e5bd8c0017847eb4a0de80452745299992d62..77b0fdab7ad30c82bc0e63d25125e2a0a521391e 100644 (file)
--- a/matita/matita/contribs/lambda/policy.txt
+++ b/matita/matita/contribs/lambda/policy.txt
@@ -10,5 +10,6 @@ d, e      : variable reference depth
 h         : relocation height
 i, j      : de Bruijn index
 k         : relocation height
+m, n      : measures on terms
 p, q      : redex pointer
 r, s      : redex pointer sequence