val rel_tbl: unit -> string
val obj_tbl: unit -> string
val conclno_tbl: unit -> string
-val conclno_hyp_tbl: unit -> string
+val fullno_tbl: unit -> string
+val hypno_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_fullno_tbl: string
+val library_hypno_tbl: string
val library_name_tbl: string