From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 29 Apr 2005 08:07:53 +0000 (+0000)
Subject: uses CicUniv new assertions
X-Git-Tag: single_binding~140
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8c23828f150c4ad352b383370201145a44e69f74;hp=8c23828f150c4ad352b383370201145a44e69f74;p=helm.git

uses CicUniv new assertions
---