From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 25 May 2012 17:10:54 +0000 (+0000)
Subject: - substitution lemma for native type assignmenr proved!
X-Git-Tag: make_still_working~1692
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=708aa01d44c67343f0dac0353b52c7c2457069b3;hp=708aa01d44c67343f0dac0353b52c7c2457069b3;p=helm.git

- substitution lemma for native type assignmenr proved!
- notation change in the support for abstract c.r.'s
- some minor additions
---