Awesome

HaysTac

A pile of Ltac tactics that might contain the needle you're looking for...

• To use HaysTac, build it using make, then Require Import HaysTac..