(*
- * Copyright (C) 2003:
+ * Copyright (C) 2003-2004:
* Stefano Zacchiroli <zack@cs.unibo.it>
* for the HELM Team http://helm.cs.unibo.it/
*
string ->
object
method add: string -> string -> unit
+ method replace: string -> string -> unit
method remove: string -> unit
method resolve: string -> string
method iter: (string -> string -> unit) -> unit