val unfocus_tac: 's NTacStatus.tactic
val skip_tac: 's NTacStatus.tactic
val try_tac: 's NTacStatus.tactic -> 's NTacStatus.tactic
val unfocus_tac: 's NTacStatus.tactic
val skip_tac: 's NTacStatus.tactic
val try_tac: 's NTacStatus.tactic -> 's NTacStatus.tactic