package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val tclEVARS : Evd.evar_map -> unit tactic

val tclEVARSADVANCE : Evd.evar_map -> unit tactic

val tclSETENV : Environ.env -> unit tactic

val tclNEWGOALS : Evd.evar list -> unit tactic

val tclSETGOALS : Evd.evar list -> unit tactic

val tclGETGOALS : Evd.evar list tactic

val tclEVARUNIVCONTEXT : Evd.evar_universe_context -> unit tactic

val reset_future_goals : proofview -> proofview

val mark_as_goal : Evd.evar_map -> Evar.t -> Evd.evar_map

val mark_as_unresolvable : proofview -> Evar.t -> proofview

val advance : Evd.evar_map -> Evar.t -> Evar.t option

val typeclass_resolvable : unit Evd.Store.field