(** 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 are_tables_ownerized : unit -> bool
val sort_tbl: unit -> string
val rel_tbl: unit -> string
val conclno_hyp_tbl: unit -> string
val name_tbl: unit -> string
+val library_sort_tbl: string
+val library_rel_tbl: string
+val library_obj_tbl: string
+val library_conclno_tbl: string
+val library_conclno_hyp_tbl: string
+val library_name_tbl: string
+