X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_transition%2Ffpb.ma;h=6d163a6856bd2b12a2e317d38f04a940acf99aee;hb=222044da28742b24584549ba86b1805a87def070;hp=268e4528397d0de1900fcfdeb807f45fe1fc3e1a;hpb=05b047be6817f430c8c72fd9b0902df8bb9f579e;p=helm.git diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma index 268e45283..6d163a685 100644 --- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma +++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma @@ -14,7 +14,7 @@ include "basic_2/notation/relations/predsubtyproper_8.ma". include "basic_2/s_transition/fqu.ma". -include "basic_2/static/lfdeq.ma". +include "basic_2/static/rdeq.ma". include "basic_2/rt_transition/lpr_lpx.ma". (* PROPER PARALLEL RST-TRANSITION FOR CLOSURES ******************************)