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

<!-- 

  Logic.xml            Modules package documentation

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

-->

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

<Section Label="Modules:LIMOD">
<Heading>&LIMOD;: Logical Implications for Modules</Heading>

</Section>

<Section Label="Maps:LIHOM">
<Heading>&LIHOM;: Logical Implications for Homomorphisms of Modules</Heading>

</Section>

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

</Appendix>
