* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
exception AlreadyDefined of UriManager.uri
let auxiliary_lemmas_hashtbl = UriManager.UriHashtbl.create 29
List.iter remove_single_obj !uris;
raise exn
-(* COERICONS ***********************************************************)
+(* COERCIONS ***********************************************************)
let remove_all_coercions () =
UriManager.UriHashtbl.clear coercion_hashtbl;