X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fpartial.txt;h=fb8f2ebf95e10cba2124a839e8106aee5d0d4c9a;hb=9080be011a214d5ee98639c2c7c6356a7be3d2d1;hp=41a6c9556739856f726f04b5c2c20f3e201a9188;hpb=f51ead46bde4e49bbaf4925dea9f9e9bfaecb255;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 41a6c9556..fb8f2ebf9 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt
@@ -1 +1,2 @@
 cpxs.ma
+csx.ma csx_cnx.ma