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

kim-em merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

kim-em:fix-register-try-tactic-internal-nameskim-em/lean4:fix-register-try-tactic-internal-namesCopy head branch name to clipboard