* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
open Printf ;;
let instance =
let clean_owner_environment () =
let dbd = instance () in
- let owner = (Helm_registry.get "matita.owner") in
let obj_tbl = MetadataTypes.obj_tbl () in
let sort_tbl = MetadataTypes.sort_tbl () in
let rel_tbl = MetadataTypes.rel_tbl () in