From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 18 Jun 2009 09:17:53 +0000 (+0000)
Subject: Stricter type: the type now shows that disambiguation only alter the lexicon.
X-Git-Tag: make_still_working~3853
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=7477c3dbbc2fafe248d48302be0d6ba4cb38d062;hp=7477c3dbbc2fafe248d48302be0d6ba4cb38d062;p=helm.git

Stricter type: the type now shows that disambiguation only alter the lexicon.
In this way we are forced to manually set the content of the object in place of
setting the whole object, that leads to information loss since in the meanwhile
new commands may have altered the rest of the state.
---