<#Include SYSTEM "title.xml">
&GradedModules; <#Include SYSTEM "intro.xml"> <#Include SYSTEM "install.xml"> <#Include SYSTEM "QuickStart.xml"> <#Include SYSTEM "RingMaps.xml"> <#Include SYSTEM "GradedModules.xml"> <#Include SYSTEM "Tate.xml"> <#Include SYSTEM "examples.xml">
<#Include SYSTEM "appendix.xml">