removed daemons

[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 33fc5979b3592672612fa9f46e970f8ef076902a..9e64369a9b01b2405ee9bc1df712c25cf54d582b 100644 (file)
--- a/matita/matita/contribs/lambda/policy.txt
+++ b/matita/matita/contribs/lambda/policy.txt
@@ -11,14 +11,14 @@ S         : arbitrary small type
 T, U, V, W: subset of subterms
 
 a         : arbitrary element
-b         : boolean mark
-c         : pointer step
+b,c       : boolean mark
 d, e      : variable reference level
+f         : arbitrary function
 h         : relocation height
 i, j      : variable reference depth (de Bruijn index)
 k         : relocation height
 l         : arbitrary list
 m, n      : measures on terms
+o         : pointer step
 p, q      : pointer
 r, s      : pointer sequence
-