val unfocus_tac: 's NTacStatus.tactic
val skip_tac: 's NTacStatus.tactic
val try_tac: 's NTacStatus.tactic -> 's NTacStatus.tactic
+val repeat_tac: NTacStatus.tac_status NTacStatus.tactic -> 's NTacStatus.tactic
val distribute_tac:
NTacStatus.lowtac_status NTacStatus.lowtactic -> 's NTacStatus.tactic