From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Feb 2004 14:49:16 +0000 (+0000)
Subject: Check missed: the two metasenv were not compared.
X-Git-Tag: V_0_2_3~88
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=54bd214a34224eab8c5ef2a26cb832c8b1ff122f;hp=54bd214a34224eab8c5ef2a26cb832c8b1ff122f;p=helm.git

Check missed: the two metasenv were not compared.
---