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