X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda%2Fpolicy.txt;h=987d9f8b194b20631ea81e8f5d79d6ed18827407;hb=5e8c551acfb4521d48256ae60042c07f9ee1be67;hp=ef8c96fce518c20b368e1aa0e66604e09d0b2a6c;hpb=06873c26e897b423cf2ea4814246fc5c2c5d4346;p=helm.git

diff --git a/matita/matita/contribs/lambda/policy.txt b/matita/matita/contribs/lambda/policy.txt
index ef8c96fce..987d9f8b1 100644
--- a/matita/matita/contribs/lambda/policy.txt
+++ b/matita/matita/contribs/lambda/policy.txt
@@ -4,6 +4,7 @@ A, B, C, D: term
 H         : transient premise
 IH        : inductive premise
 M, N      : term
+P, Q      : pointer tree
 R         : arbitrary relation
 T, U      : arbitrary small type