X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Frelocation%2Fxap.ma;h=a9096f7e457b289d5528226238a79962d037ce1b;hb=9fe8259fe25c35d33490d94612023f10dc70a603;hp=5e607ac373e56b79c44d2d545da8168b645504b2;hpb=d7ff8dcf71f18a17fbf66696f0293cd411c1dbca;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/xap.ma b/matita/matita/contribs/lambdadelta/ground/relocation/xap.ma
index 5e607ac37..a9096f7e4 100644
--- a/matita/matita/contribs/lambdadelta/ground/relocation/xap.ma
+++ b/matita/matita/contribs/lambdadelta/ground/relocation/xap.ma
@@ -1,8 +1,9 @@
+
+(**) (* reverse include *)
 include "ground/arith/nat_rplus_pplus.ma".
+include "ground/relocation/tr_compose_pn.ma".
 include "ground/relocation/nap.ma".
 include "ground/notation/functions/apply_2.ma".
-include "ground/relocation/tr_compose_pn.ma".
-include "ground/relocation/tr_pap_tls.ma".
 
 definition tr_xap (f) (l:nat): nat ≝
            (⫯f)@↑❨l❩.