module Examples where
import Monoid.Signature
import Monoid.Syntax
import Monoid.Equality
import CommMonoid.Signature
import CommMonoid.Syntax
import CommMonoid.Equality
import Group.Signature
import Group.Syntax
import Group.Equality
import CommGroup.Signature
import CommGroup.Syntax
import CommGroup.Equality
import GroupAction.Signature
import GroupAction.Syntax
import GroupAction.Equality
import Semiring.Signature
import Semiring.Syntax
import Semiring.Equality
import Ring.Signature
import Ring.Syntax
import Ring.Equality
import CommRing.Signature
import CommRing.Syntax
import CommRing.Equality
import PropLog.Signature
import PropLog.Syntax
import PropLog.Equality
import FOL.Signature
import FOL.Syntax
import FOL.Equality
import Combinatory.Signature
import Combinatory.Syntax
import Combinatory.Equality
import UTLC.Signature
import UTLC.Syntax
import UTLC.Equality
import STLC.Signature
import STLC.Syntax
import STLC.Equality
import STLC.Model
import TLC.Signature
import TLC.Syntax
import TLC.Equality
import PCF.Signature
import PCF.Syntax
import PCF.Equality
import Lens.Signature
import Lens.Syntax
import Lens.Equality
import Inception.Signature
import Inception.Syntax
import Inception.Equality
import Sub.Signature
import Sub.Syntax
import Sub.Equality
import PDiff.Signature
import PDiff.Syntax
import PDiff.Equality