From bb4afe025454cc5a637eb48cef9d08cf25d1d0ea Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 24 May 2016 19:04:08 +0000 Subject: [PATCH] une file was missing :( --- .../contribs/lambdadelta/basic_2/rt_transition/partial.txt | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.2