From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 7 Sep 2008 17:09:19 +0000 (+0000)
Subject: cicDischarge: we still have some problems here. Some fixes
X-Git-Tag: make_still_working~4803
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=d2d20cd33c42d0897765387042c3779109bbf4fd;hp=d2d20cd33c42d0897765387042c3779109bbf4fd;p=helm.git

cicDischarge: we still have some problems here. Some fixes
cicTypeChecker: added some debug prints (commented for now)
applyTransformation.ml: improved error detection
---