From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 16 Sep 2005 11:49:07 +0000 (+0000)
Subject: uses Hashtbl.replace instead of Hashtbl.add so that:
X-Git-Tag: LAST_BEFORE_NEW~118
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=77f4040c3aae06baba4c9868e5126689b16527c4;hp=77f4040c3aae06baba4c9868e5126689b16527c4;p=helm.git

uses Hashtbl.replace instead of Hashtbl.add so that:
1) extra-entities.xml could be used to override undesired bindings
2) only used mapping are kept in memory at run-time
---