From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 17 May 2008 13:19:22 +0000 (+0000)
Subject: Bug fixed: only Type < Type1 was declared.
X-Git-Tag: make_still_working~5184
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=64588ee1a349ea931782c8388f0dbcb9e15279ef;hp=64588ee1a349ea931782c8388f0dbcb9e15279ef;p=helm.git

Bug fixed: only Type < Type1 was declared.
---