import equational_theories.Completeness

import equational_theories.Compactness

import equational_theories.FreeMagmaImplications

import equational_theories.FreeComm

import equational_theories.MagmaOp

import equational_theories.Subgraph

import equational_theories.AllEquations

import equational_theories.InfModel

import equational_theories.Generated

import equational_theories.Counting

import equational_theories.OrderMetatheorem

import equational_theories.Preorder

import equational_theories.SmallMagmas

import equational_theories.StringMagmas

import equational_theories.Homomorphisms

import equational_theories.CentralGroupoids

import equational_theories.Z3Counterexamples

import equational_theories.LinearOps