X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fpartial.txt;h=cb191dab1513d5329f8ed0d0ba12412b18b284be;hb=10b733131aa2667d8ba4318d517f0ba3cf137359;hp=556cb5704ff9da2a1173b834c394c3454c8662ce;hpb=06531086fc492d0fd374ada30e116b56a5eff957;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt
index 556cb5704..cb191dab1 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt
@@ -1,2 +1,4 @@
 cpxs.ma cpxs_tdeq.ma cpxs_cpxs.ma
+lfpxs.ma lfpxs_fqup.ma
 csx.ma csx_cnx.ma csx_cpxs.ma csx_csx.ma
+csx_vector.ma