From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 18 Apr 2008 15:27:39 +0000 (+0000)
Subject: assertion was wrong, an object can contain a named univers if its uri is the one... 
X-Git-Tag: make_still_working~5323
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ca1359de73c1c9deda30c9aaff2606b8dd5253bc;hp=ca1359de73c1c9deda30c9aaff2606b8dd5253bc;p=helm.git

assertion was wrong, an object can contain a named univers if its uri is the one of the object itself
---