Library CT.Instance.Algebra

Require Export CT.Instance.Algebra.Ab.
Require Export CT.Instance.Algebra.Grp.
Require Export CT.Instance.Algebra.Lat.
Require Export CT.Instance.Algebra.Monoid.
Require Export CT.Instance.Algebra.PointedSetCategory.
Require Export CT.Instance.Algebra.Ring.
Require Export CT.Instance.Algebra.Rng.