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