FiniteSetSkeleton.v

AlgebraicTheories2.v
AlgebraicTheories.v
AlgebraicTheoryMorphisms2.v
AlgebraicTheoryMorphisms.v
AlgebraicTheoryCategory.v
AlgebraicTheoryAlgebras.v
AlgebraicTheoryAlgebraMorphisms.v
AlgebraicTheoryAlgebraCategory.v
AlgebraicTheoryAlgebraFibration.v

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

AlgebraicTheoryAlgebraWeqEndomorphismTheoryMorphism.v
