(Cic.id, Cic.conjecture) Hashtbl.t * (** ids_to_conjectures *)
(Cic.id, Cic.hypothesis) Hashtbl.t (** ids_to_hypotheses *)
type hist_metadata = proof_metadata * sequents_metadata
(Cic.id, Cic.conjecture) Hashtbl.t * (** ids_to_conjectures *)
(Cic.id, Cic.hypothesis) Hashtbl.t (** ids_to_hypotheses *)
type hist_metadata = proof_metadata * sequents_metadata