what:NTacStatus.tactic_term -> where:NTacStatus.tactic_pattern ->
's NTacStatus.tactic
val intro_tac: string -> 's NTacStatus.tactic
+val intros_tac:
+ ?names_ref:string list ref -> string list -> 's NTacStatus.tactic
val cases_tac:
what:NTacStatus.tactic_term -> where:NTacStatus.tactic_pattern ->
's NTacStatus.tactic