main part of lfpxs_cpxs ...

[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 b47d0e449fcf8ff0cfc2b3824382822c9e373470..2cb53faaa54b0f3acf9270298efb9fad6f3f95cc 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,3 +1,4 @@
-lsubc.ma lsubc_drops.ma lsubc_lsubr.ma lsubc_lsuba.ma
-gcp.ma gcp_cr.ma gcp_aaa.ma
-cpxs.ma
+cpxs.ma cpxs_tdeq.ma cpxs_drops.ma cpxs_lfpx.ma cpxs_cpxs.ma
+lfpxs.ma lfpxs_fqup.ma lfpxs_cpxs.ma
+csx.ma csx_cnx.ma csx_cpxs.ma csx_csx.ma
+csx_vector.ma