Revision 7aa82b67303c021ab907fa46a6ac697588c19141 authored by Mohamed Barakat on 06 July 2015, 10:48:56 UTC, committed by Mohamed Barakat on 06 July 2015, 10:51:39 UTC
1 parent 0151a87
Logic.xml
<?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>
Computing file changes ...