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

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!--
   4     ||M||  This file is part of HELM, an Hypertextual, Electronic
   5     ||A||  Library of Mathematics, developed at the Computer Science
   6     ||T||  Department, University of Bologna, Italy.
   7     ||I||
   8     ||T||  HELM is free software; you can redistribute it and/or
   9     ||A||  modify it under the terms of the GNU General Public License
  10     \   /  version 2 or (at your option) any later version.
  11      \ /   This software is distributed as is, NO WARRANTY.
  12       V_______________________________________________________________ -->
  13
  14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  15                               xmlns="http://www.w3.org/1999/xhtml"
  16 >
  17
  18 <xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
  19
  20 <xsl:template name="separator">
  21    <span class="separator">
  22       <xsl:call-template name="fs"/>
  23    </span>
  24 </xsl:template>
  25
  26 <xsl:template match="Sort">
  27    <span class="sort">
  28       <xsl:call-template name="position"/>
  29    </span>
  30 </xsl:template>
  31
  32 <xsl:template match="LRef">
  33    <span class="lref">
  34       <xsl:call-template name="position"/>
  35    </span>
  36 </xsl:template>
  37
  38 <xsl:template match="GRef">
  39    <span class="gref">
  40       <xsl:call-template name="uri"/>
  41    </span>
  42 </xsl:template>
  43
  44 <xsl:template match="Cast">
  45    <span class="cast">
  46       <xsl:call-template name="oa"/>
  47       <xsl:apply-templates/>
  48       <xsl:call-template name="ca"/>
  49    </span>
  50    <xsl:call-template name="separator"/>
  51 </xsl:template>
  52
  53 <xsl:template match="Appl">
  54    <span class="appl">
  55       <xsl:call-template name="op"/>
  56       <xsl:call-template name="mk_terms"/>
  57       <xsl:call-template name="cp"/>
  58    </span>
  59    <xsl:call-template name="separator"/>
  60 </xsl:template>
  61
  62 <xsl:template match="Abst">
  63    <span class="local">
  64       <xsl:call-template name="lambda"/>
  65       <xsl:call-template name="mk_binder">
  66          <xsl:with-param name="sep-seq">
  67             <xsl:call-template name="cn"/>
  68          </xsl:with-param>
  69       </xsl:call-template>
  70    </span>
  71    <xsl:call-template name="separator"/>
  72 </xsl:template>
  73
  74 <xsl:template match="Abbr">
  75    <span class="local">
  76       <xsl:call-template name="delta"/>
  77       <xsl:call-template name="mk_binder">
  78          <xsl:with-param name="sep-seq">
  79             <xsl:call-template name="eq"/>
  80          </xsl:with-param>
  81       </xsl:call-template>
  82    </span>
  83    <xsl:call-template name="separator"/>
  84 </xsl:template>
  85
  86 <xsl:template match="Void">
  87    <span class="local">
  88       <xsl:call-template name="chi"/>
  89       <xsl:call-template name="ob"/>
  90       <xsl:call-template name="mk_names"/>
  91       <xsl:call-template name="cb"/>
  92    </span>
  93    <xsl:call-template name="separator"/>
  94 </xsl:template>
  95
  96 </xsl:stylesheet>