#############################################################################
##
##  LICHM.gd                    LICHM subpackage             Mohamed Barakat
##
##         LICHM = Logical Implications for homalg CHain Morphisms
##
##  Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen
##
##  Declaration stuff for the LICHM subpackage.
##
#############################################################################

# our info class:
DeclareInfoClass( "InfoLICHM" );
SetInfoLevel( InfoLICHM, 1 );

# a central place for configurations:
DeclareGlobalVariable( "LICHM" );

####################################
#
# global variables:
#
####################################

DeclareGlobalVariable( "LogicalImplicationsForHomalgChainMorphisms" );
