X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Frelocation%2Ftr_pap_pap.ma;h=c3cacbbd493457421174fc3d189b578489dff511;hb=775ab35f714568dfcd672f0dd53a00e1ba7382cd;hp=65cb40105072455c645d23178671263486846082;hpb=56092257aa4be8e6d0ae37ee6590f6d3258b0485;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pap.ma b/matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pap.ma
index 65cb40105..c3cacbbd4 100644
--- a/matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pap.ma
+++ b/matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pap.ma
@@ -14,6 +14,8 @@
 
 include "ground/relocation/tr_pap_pat.ma".
 
+(* POSITIVE APPLICATION FOR TOTAL RELOCATION MAPS ***************************)
+
 (* Main inversions **********************************************************)
 
 (*** apply_inj *)