Library UniMath.Tactics.All
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.Monoids_Tactics.
Require Export UniMath.Tactics.Abmonoids_Tactics.
Require Export UniMath.Tactics.Groups_Tactics.
Require Export UniMath.Tactics.Nat_Tactics.