val constr_of_metadata: metadata -> constr
+ (** invoke this function to set the current owner. Afterwards the functions
+ * below will return the name of the table of the set owner *)
+val ownerize_tables : string -> unit
+
val sort_tbl: unit -> string
val rel_tbl: unit -> string
val obj_tbl: unit -> string
-(* val owners_tbl: unit -> string *)
val conclno_tbl: unit -> string
val conclno_hyp_tbl: unit -> string
val name_tbl: unit -> string
-val ownerize_tables : string -> unit
-