From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 1 Feb 2005 15:40:15 +0000 (+0000)
Subject: reverder change. no more owner passed to the locate.
X-Git-Tag: V_0_1_0~71
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a1bfef9d9930c9a136abe0593d8da457b4e21fc3;hp=a1bfef9d9930c9a136abe0593d8da457b4e21fc3;p=helm.git

reverder change. no more owner passed to the locate.
---