val string_of_proof_old : ?names:(Cic.name option)list -> old_proof -> string
val string_of_proof_new :
?names:(Cic.name option)list -> new_proof -> goal_proof -> string
val string_of_proof_old : ?names:(Cic.name option)list -> old_proof -> string
val string_of_proof_new :
?names:(Cic.name option)list -> new_proof -> goal_proof -> string