update in ground_2 and basic_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_computation / fpbs_lpxs.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_lpxs.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_lpxs.ma
index 97ff315654a2e5807a0c1b5cb271a089fd4ae44a..26df6e4801b68ee1449b592627687a2b42f90623 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_lpxs.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_lpxs.ma
@@ -17,8 +17,6 @@ include "basic_2/static/ffdeq_ffdeq.ma".
 include "basic_2/rt_computation/cpxs_fqus.ma".
 include "basic_2/rt_computation/cpxs_ffdeq.ma".
 include "basic_2/rt_computation/lpxs_ffdeq.ma".
-include "basic_2/rt_computation/lpxs_lpx.ma".
-include "basic_2/rt_computation/fpbs_fqus.ma".
 include "basic_2/rt_computation/fpbs_cpxs.ma".
 
 (* PARALLEL RST-COMPUTATION FOR CLOSURES ************************************)