From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 9 Apr 2020 17:26:31 +0000 (+0200)
Subject: update in binararies for λδ
X-Git-Tag: make_still_working~183
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2f6f2b7c01d47d23f61dd48d767bcb37aecdcfea;hp=2f6f2b7c01d47d23f61dd48d767bcb37aecdcfea;p=helm.git

update in binararies for λδ

+ updated roles
+ some role specifications removed from basic_2A
+ updated web site
---