From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 18 Jul 2020 18:49:45 +0000 (+0200)
Subject: update in static_2
X-Git-Tag: make_still_working~178
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b118146b97959e6a6dde18fdd014b8e1e676a2d1;hp=b118146b97959e6a6dde18fdd014b8e1e676a2d1;p=helm.git

update in static_2

+ generic equivalence generalizes syntactic equivalence and sort-irrelevant equivalence
+ minor corrections
---