ExtLib.Tactics

Require Export ExtLib.Tactics.Consider.
Require Export ExtLib.Tactics.Cases.
Require Export ExtLib.Tactics.Injection.
Require Export ExtLib.Tactics.Forward.
Require Export ExtLib.Tactics.EqDep.