Module Proofview.Progress

val goal_equal : Evd.evar_map -> Evar.t -> Evd.evar_map -> Evar.t -> bool