MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
MatitaDb.clean_owner_environment ();
MatitaDb.create_owner_environment ();
MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
MatitaDb.clean_owner_environment ();
MatitaDb.create_owner_environment ();