update in ground

[helm.git] / matita / matita / contribs / lambdadelta / ground / relocation / xap.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/xap.ma b/matita/matita/contribs/lambdadelta/ground/relocation/xap.ma
index 5e607ac373e56b79c44d2d545da8168b645504b2..a9096f7e457b289d5528226238a79962d037ce1b 100644 (file)
--- 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❩.