- advances on csx

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_computation / partial.txt

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 fb8f2ebf95e10cba2124a839e8106aee5d0d4c9a..deef34eacf58542a43629ae4d79a4784892dea24 100644 (file)
--- 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