A slightly more fine grained way to check whether a TACTIC EXTEND is global or local to goals.

Checks if the arguments need anything from the goal by looking at their tags, if not, the tactic is global.

0 files changed, 0 insertions, 0 deletions