RingMaps.xml

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

<!-- 

  RingMaps.xml           Modules package documentation

         Copyright (C) 2009, Mohamed Barakat, Universität des Saarlandes

-->

<Chapter Label="RingMaps">
<Heading>Ring Maps</Heading>

<Section Label="RingMaps:Attributes">
<Heading>Ring Maps: Attributes</Heading>

<#Include Label="KernelSubobject:ringmap">
<#Include Label="KernelEmb:ringmap">

</Section>

<Section Label="RingMaps:Operations and Functions">
<Heading>Ring Maps: Operations and Functions</Heading>

<#Include Label="Kernel:ringmap">

</Section>

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

</Chapter>