helm/software/lambda-delta/xml/ld-html-term.xsl

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
   4
   5 <xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
   6
   7 <xsl:template match="Sort">
   8    <b><xsl:call-template name="position"/></b>
   9 </xsl:template>
  10
  11 <xsl:template match="LRef">
  12    <xsl:call-template name="position"/>
  13 </xsl:template>
  14
  15 <xsl:template match="GRef">
  16    <xsl:call-template name="uri"/>
  17 </xsl:template>
  18
  19 <xsl:template match="Cast">
  20    <xsl:call-template name="oa"/>
  21    <xsl:apply-templates/>
  22    <xsl:call-template name="ca"/>
  23    <xsl:call-template name="fs"/>
  24 </xsl:template>
  25
  26 <xsl:template match="Appl">
  27    <xsl:call-template name="op"/>
  28    <xsl:apply-templates/>
  29    <xsl:call-template name="cp"/>
  30    <xsl:call-template name="fs"/>
  31 </xsl:template>
  32
  33 <xsl:template match="Abst">
  34    <xsl:call-template name="lambda"/>
  35    <xsl:value-of select="@name"/>
  36    <xsl:call-template name="cn"/>
  37    <xsl:apply-templates/>
  38    <xsl:call-template name="fs"/>
  39 </xsl:template>
  40
  41 <xsl:template match="Abbr">
  42    <xsl:call-template name="delta"/>
  43    <xsl:call-template name="binder"/>
  44    <xsl:call-template name="eq"/>
  45    <xsl:apply-templates/>
  46    <xsl:call-template name="fs"/>
  47 </xsl:template>
  48
  49 <xsl:template match="Void">
  50    <xsl:call-template name="chi"/>
  51    <xsl:call-template name="binder"/>
  52    <xsl:apply-templates/>
  53    <xsl:call-template name="fs"/>
  54
  55 </xsl:template>
  56
  57 </xsl:stylesheet>