X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fpartial.txt;h=deef34eacf58542a43629ae4d79a4784892dea24;hb=b11e1907f99bea1de50db890d849ba5469d2e0e7;hp=fb8f2ebf95e10cba2124a839e8106aee5d0d4c9a;hpb=4ce6264997ad60716f5845ff5474796f777e0a49;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 fb8f2ebf9..deef34eac 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.ma csx_cnx.ma csx_csx.ma