GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#############################################################################
##
## CAP package
##
## Copyright 2015, Sebastian Gutsche, TU Kaiserslautern
## Sebastian Posur, RWTH Aachen
##
#############################################################################
DeclareGlobalVariable( "CATEGORIES_LOGIC_FILES" );
DeclareInfoClass( "CapLogicInfo" );
DeclareGlobalFunction( "SetCapLogicInfo" );
############################
##
## Theorems
##
############################
DeclareGlobalFunction( "AddTheoremFileToCategory" );
DeclareGlobalFunction( "ADD_THEOREM_TO_CATEGORY" );
DeclareGlobalFunction( "SANITIZE_RECORD" );
DeclareGlobalFunction( "INSTALL_TODO_FOR_LOGICAL_THEOREMS" );
#############################
##
## Predicate implications
##
#############################
DeclareGlobalFunction( "AddPredicateImplicationFileToCategory" );
DeclareGlobalFunction( "ADD_PREDICATE_IMPLICATIONS_TO_CATEGORY" );
DeclareGlobalFunction( "INSTALL_PREDICATE_IMPLICATION" );
#############################
##
## API for EvalRules
##
#############################
DeclareGlobalFunction( "AddEvalRuleFileToCategory" );
DeclareGlobalFunction( "ADD_EVAL_RULES_TO_CATEGORY" );
#############################
##
## Technical functions
##
#############################
DeclareAttribute( "INSTALL_LOGICAL_IMPLICATIONS",
IsCapCategory );
DeclareGlobalFunction( "INSTALL_LOGICAL_IMPLICATIONS_HELPER" );
DeclareAttribute( "CAP_CATEGORY_SOURCE_RANGE_THEOREM_INSTALL_HELPER",
IsCapCategoryMorphism );