From: Ferruccio Guidi Date: Tue, 24 May 2016 19:04:08 +0000 (+0000) Subject: une file was missing :( X-Git-Tag: make_still_working~577 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bb4afe025454cc5a637eb48cef9d08cf25d1d0ea;p=helm.git une file was missing :( --- 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 e69bf6b0a..207e1e218 100644 --- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt +++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt @@ -1,2 +1,3 @@ cpg.ma cpg_simple.ma cpg_drops.ma cpg_lsubr.ma cpx.ma cpx_simple.ma cpx_drops.ma cpx_lsubr.ma +lfpx.ma lfpx_length.ma lfpx_fqup.ma