X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fpartial.txt;h=556cb5704ff9da2a1173b834c394c3454c8662ce;hb=e2b4ff64df523b4be9d7dc4e92386945846426e7;hp=deef34eacf58542a43629ae4d79a4784892dea24;hpb=1330e8b45155fc972bc18c4e5fd69897afa3cbe8;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 deef34eac..556cb5704 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,2 @@
-cpxs.ma
-csx.ma csx_cnx.ma csx_csx.ma
+cpxs.ma cpxs_tdeq.ma cpxs_cpxs.ma
+csx.ma csx_cnx.ma csx_cpxs.ma csx_csx.ma