_CoqProject

-R CT CT 
./CT/Language.v
./CT/Algebra/Semigroup.v
./CT/Algebra/Magma.v
./CT/Algebra/AbelianGroup.v
./CT/Algebra/Group.v
./CT/Algebra/Ring.v
./CT/Algebra/Monoid.v
./CT/Algebra/BooleanAlgebra.v
./CT/Algebra/Rng.v
./CT/Algebra/PointedSet.v
./CT/Algebra/Lattice.v
./CT/Retract.v
./CT/Geometry/Projective.v
./CT/Morphism.v
./CT/Automata.v
./CT/Order/PartiallyOrderedSet.v
./CT/Language/Dyck.v
./CT/Category.v
./CT/Section.v
./CT/NaturalTransformation.v
./CT/Isomorphism.v
./CT/Algebra.v
./CT/Order.v
./CT/Geometry.v
./CT/Monad.v
./CT/Instance/Coq/Category.v
./CT/Instance/Coq/Monad.v
./CT/Instance/Coq/BinaryProduct.v
./CT/Instance/Coq/Functor.v
./CT/Instance/Algebra/Ab.v
./CT/Instance/Algebra/Grp.v
./CT/Instance/Algebra/Ring.v
./CT/Instance/Algebra/Lat.v
./CT/Instance/Algebra/PointedSetCategory.v
./CT/Instance/Algebra/Monoid.v
./CT/Instance/Algebra/Rng.v
./CT/Instance/Automata.v
./CT/Instance/Functor/Bifunctor.v
./CT/Instance/Functor/IdentityFunctor.v
./CT/Instance/Functor/FAlgebra.v
./CT/Instance/Functor/HomFunctor.v
./CT/Instance/Functor/ComposeFunctor.v
./CT/Instance/Functor/ProductFunctor.v
./CT/Instance/Functor/Presheaf.v
./CT/Instance/Functor/FaithfulFunctor.v
./CT/Instance/Functor/OppositeFunctor.v
./CT/Instance/Functor/ContravariantFunctor.v
./CT/Instance/Functor/FullyFaithfulFunctor.v
./CT/Instance/Functor/Endofunctor.v
./CT/Instance/Functor/FullFunctor.v
./CT/Instance/Functor/Profunctor.v
./CT/Instance/Functor/ConstantFunctor.v
./CT/Instance/Category.v
./CT/Instance/NaturalTransformation.v
./CT/Instance/Isomorphism.v
./CT/Instance/Category/ProductCategory.v
./CT/Instance/Category/Equivalence.v
./CT/Instance/Category/CommaCategory.v
./CT/Instance/Category/FunctorCategory.v
./CT/Instance/Category/Opposite.v
./CT/Instance/Category/ArrowCategory.v
./CT/Instance/Category/MonoidCategory.v
./CT/Instance/Category/Cat.v
./CT/Instance/Category/Monoidal.v
./CT/Instance/Category/GroupCategory.v
./CT/Instance/Algebra.v
./CT/Instance/Automata/Moore.v
./CT/Instance/Automata/Moore/Category.v
./CT/Instance/Automata/Mealy/Category.v
./CT/Instance/Automata/Mealy.v
./CT/Instance/NaturalTransformation/HCNaturalTransformation.v
./CT/Instance/NaturalTransformation/IdentityNaturalTransformation.v
./CT/Instance/NaturalTransformation/VCNaturalTransformation.v
./CT/Instance/NaturalTransformation/NaturalIsomorphism.v
./CT/Instance/NaturalTransformation/Composition.v
./CT/Instance/Coq.v
./CT/Instance/Functor.v
./CT/Automata/Moore.v
./CT/Automata/Mealy.v
./CT/BinaryProduct.v
./CT/Functor.v
./CT/Instance.v