Library UniMath.Tactics.All
Require Export UniMath.Tactics.EnsureStructuredProofs.
Require Export UniMath.Tactics.Utilities.
Require Export UniMath.Tactics.Monoids_Tactics.
Require Export UniMath.Tactics.Abmonoids_Tactics.
Require Export UniMath.Tactics.Groups_Tactics.
Require Export UniMath.Tactics.Nat_Tactics.
Require Export UniMath.Tactics.Simplify.
Require Export UniMath.Tactics.Utilities.
Require Export UniMath.Tactics.Monoids_Tactics.
Require Export UniMath.Tactics.Abmonoids_Tactics.
Require Export UniMath.Tactics.Groups_Tactics.
Require Export UniMath.Tactics.Nat_Tactics.
Require Export UniMath.Tactics.Simplify.