- advances on lfxs for lfpxs

[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 556cb5704ff9da2a1173b834c394c3454c8662ce..cb191dab1513d5329f8ed0d0ba12412b18b284be 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,4 @@
 cpxs.ma cpxs_tdeq.ma cpxs_cpxs.ma
+lfpxs.ma lfpxs_fqup.ma
 csx.ma csx_cnx.ma csx_cpxs.ma csx_csx.ma
+csx_vector.ma