# SPDX-License-Identifier: GPL-2.0-or-later
# CAP: Categories, Algorithms, Programming
#
# Reading the implementation part of the package.
#
## CAP.gi uses implementations in this file.
ReadPackage( "CAP", "gap/MethodRecord.gi");

ReadPackage( "CAP", "gap/ConstructiveCategoriesRecord.gi" );

ReadPackage( "CAP", "gap/Derivations.gi");

ReadPackage( "CAP", "gap/CAP.gi");

ReadPackage( "CAP", "gap/Finalize.gi" );

ReadPackage( "CAP", "gap/CategoryObjects.gi");

ReadPackage( "CAP", "gap/CategoryMorphisms.gi");

ReadPackage( "CAP", "gap/CategoryTwoCells.gi");

ReadPackage( "CAP", "gap/LimitConvenience.gi" );

ReadPackage( "CAP", "gap/UniversalObjects.gi" );

ReadPackage( "CAP", "gap/InstallAdds.gi" );

ReadPackage( "CAP", "gap/MonoidalCategories.gi" );

ReadPackage( "CAP", "gap/TheoremParser.gi");

ReadPackage( "CAP", "gap/LogicForCAP.gi");

ReadPackage( "CAP", "gap/DerivedMethods.gi");

ReadPackage( "CAP", "gap/MonoidalCategoriesDerivedMethods.gi");

ReadPackage( "CAP", "gap/OppositeCategory.gi");

ReadPackage( "CAP", "gap/ProductCategory.gi");

ReadPackage( "CAP", "gap/CategoriesCategory.gi");

ReadPackage( "CAP", "gap/TerminalCategory.gi");

ReadPackage( "CAP", "gap/PrintingFunctions.gi" );

ReadPackage( "CAP", "gap/PrepareFunctions.gi" );

ReadPackage( "CAP", "gap/PreFunctions.gi" );

ReadPackage( "CAP", "gap/ToolsForCategories_AfterLoading.gi" );
