X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_transition%2Fpartial.txt;h=6105414f3dc425af561e232f20a78184a3a9af60;hb=6d1c6a2cfdd1909647db5648b9cd059c61b19b40;hp=d300eb0ffda99e63d787ca1bd468377e953f65cd;hpb=c0a8f89161e9887c38eb5cf701f0f0c05a0e527f;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt
index d300eb0ff..6105414f3 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt
@@ -5,5 +5,5 @@ cnx.ma cnx_simple.ma cnx_drops.ma cnx_cnx.ma
 cpm.ma cpm_simple.ma cpm_drops.ma cpm_lsubr.ma cpm_lfxs.ma cpm_cpx.ma
 cpr.ma cpr_drops.ma
 lfpr.ma lfpr_length.ma lfpr_drops.ma lfpr_fqup.ma lfpr_frees.ma lfpr_aaa.ma lfpr_lfpx.ma lfpr_lfpr.ma
-fpb.ma
+fpb.ma fpb_lfdeq.ma
 fpbq.ma fpbq_aaa.ma