update in basic_2

[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 1708bccc68a24ea1452919bdeabf928cfad84a61..83cac1779e2684c7b25c0635b6b7ea2f7f3dc46b 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt
@@ -10,3 +10,4 @@ fpbg.ma fpbg_fqup.ma fpbg_cpxs.ma fpbg_lpxs.ma fpbg_fpbs.ma fpbg_fpbg.ma
 fsb.ma fsb_ffdeq.ma fsb_aaa.ma fsb_csx.ma fsb_fpbg.ma
 cpms.ma cpms_drops.ma cpms_lsubr.ma cpms_aaa.ma cpms_cpxs.ma
 cprs.ma cprs_drops.ma
+lprs.ma lprs_length.ma