X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fpartial.txt;h=b47d0e449fcf8ff0cfc2b3824382822c9e373470;hb=6bfdcdaf50cc3e5ca25079cd4006aeefac73c8c2;hp=41a6c9556739856f726f04b5c2c20f3e201a9188;hpb=2002da6bcdbf12203a87a7d9630d738f67ede68c;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..b47d0e449 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,3 @@
+lsubc.ma lsubc_drops.ma lsubc_lsubr.ma lsubc_lsuba.ma
+gcp.ma gcp_cr.ma gcp_aaa.ma
 cpxs.ma