From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 28 Jul 2018 13:40:56 +0000 (+0200)
Subject: update in ground_2 and basic_2
X-Git-Tag: make_still_working~292
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1083ac3b1acac5f1ac1fa40a9a417dd9d268dced;hp=1083ac3b1acac5f1ac1fa40a9a417dd9d268dced;p=helm.git

update in ground_2 and basic_2

+ modification in cnv allows to improve cnv_cpm_trans_lpr_aux
+ modification in lsubv allows to prove its transitivity
+ one lemma added to the arithmetic library
---