<?xml version="1.0" encoding="UTF-8"?>

<!-- 

  Logic.xml            homalg package documentation            Mohamed Barakat

         Copyright (C) 2007-2009, Mohamed Barakat, RWTH-Aachen

-->

<Appendix Label="Logic">
<Heading>Logic Subpackages</Heading>

<Section Label="Modules:LIOBJ">
<Heading>&LIOBJ;: Logical Implications for Objects of Abelian Categories</Heading>

</Section>

<Section Label="Morphisms:LIMOR">
<Heading>&LIMOR;: Logical Implications for Morphisms of Abelian Categories</Heading>

</Section>

<Section Label="Complexes:LICPX">
<Heading>&LICPX;: Logical Implications for Complexes in Abelian Categories</Heading>

</Section>

<!-- ############################################################ -->

</Appendix>