From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 10 Feb 2018 22:27:55 +0000 (+0100)
Subject: two cases of cpx_lfxs_conf_fle closed
X-Git-Tag: make_still_working~367
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b0eb62e60a2fd73ba39c7a0df112f04131528602;hp=b0eb62e60a2fd73ba39c7a0df112f04131528602;p=helm.git

two cases of cpx_lfxs_conf_fle closed

+ advances on fle
+ one inversion lemma missing in lveq
+ one character missing in predefined virtuals
---