From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 11 May 2018 19:28:42 +0000 (+0200)
Subject: update in basic_2
X-Git-Tag: make_still_working~321
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d02c188ee3d4bd9885490447e63453adb2cb4ea1;hp=d02c188ee3d4bd9885490447e63453adb2cb4ea1;p=helm.git

update in basic_2

+ first file on r-equivalence
+ renaming
---