From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 10 Jul 2009 21:36:41 +0000 (+0000)
Subject: - brgOutput: the nodes count is now implemented
X-Git-Tag: make_still_working~3698
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=9f8544610ba0245bde47f367de6716e1f256ab18;hp=9f8544610ba0245bde47f367de6716e1f256ab18;p=helm.git

- brgOutput: the nodes count is now implemented
- brgReduction: the type annotation in the beta-reductum is useless
- brgType: a never-occurring condition marked with assert false
---