FiniteSetSkeleton.v
AlgebraicBases.v

AlgebraicTheories.v
AlgebraicTheoryMorphisms.v

AbstractClones/AbstractClones.v
AbstractClones/AbstractCloneMorphisms.v
AbstractClones/AbstractCloneAlgebras.v
AbstractClones/AbstractCloneCategory.v

AbstractCloneAlgebraicTheory.v

Examples/OnePointTheory.v
Examples/ProjectionsTheory.v
Examples/EndomorphismTheory.v
Examples/FreeMonoidTheory.v

AbstractCloneAlgebraEndomorphism.v
