From 9fe8259fe25c35d33490d94612023f10dc70a603 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 22 Jun 2022 13:38:45 +0200
Subject: [PATCH] update in ground

+ minor corrections
---
 matita/matita/contribs/lambdadelta/ground/relocation/xap.ma | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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❩.
-- 
2.39.2