From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 22 Apr 2004 12:38:16 +0000 (+0000)
Subject: Patches to generate ?1 : ?2 : Type in place of ?1 : Type removed.
X-Git-Tag: dead_dir_walking~10
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9b3e404f92b716d704e053c7d3011b09ddf55d24;hp=9b3e404f92b716d704e053c7d3011b09ddf55d24;p=helm.git

Patches to generate ?1 : ?2 : Type in place of ?1 : Type removed.
It is interesting to understand whether it is still necessary (after
the CicUnification bug fix) or not.
---