Make

-R src Termination

src/Category/Cut_NT.v
src/Category/RComod.v
src/Category/RComonad.v
src/Category/RComonadWithCut.v
src/Category/RComonad_RComonadWithCut.v
src/Category/Setoids.v
src/Category/Types.v
src/Category/Types_Setoids.v
src/Misc/Unicode.v
src/Theory/ProductPreservingFunctor.v
src/Theory/Category.v
src/Theory/Comodule.v
src/Theory/Functor.v
src/Theory/InitialTerminal.v
src/Theory/Isomorphism.v
src/Theory/NaturalTransformation.v
src/Theory/Notations.v
src/Theory/PrecompositionWithProduct.v
src/Theory/Product.v
src/Theory/CoProduct.v
src/Theory/PushforwardComodule.v
src/Theory/RelativeComonad.v
src/Theory/RelativeComonadWithCut.v
src/Theory/SetoidType.v
src/Category/TriMat/Category.v
src/Category/TriMat/Axioms.v
src/Category/TriMat/Terminality.v
src/Category/TriMat/Model.v
src/Category/Stream/Category.v
src/Category/Stream/Axioms.v
src/Category/Stream/Terminality.v
src/Category/Stream/Model.v
src/Category/Diag.v