Tactics.SimpleSimplified version of some of the above tactics
val intro : Names.Id.t -> unit Proofview.tacticval apply : EConstr.constr -> unit Proofview.tacticval eapply : EConstr.constr -> unit Proofview.tacticval elim : EConstr.constr -> unit Proofview.tacticval case : EConstr.constr -> unit Proofview.tacticval apply_in : Names.Id.t -> EConstr.constr -> unit Proofview.tactic