fix: make register_try?_tactic auxiliary definitions internal
#11547
Loading
register_try?_tactic auxiliary definitions internal
#11547