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
  16 <xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
  17
  18 <xsl:template match="Sort">
  19    <span style="{$sort}">
  20       <xsl:call-template name="position"/>
  21    </span>
  22 </xsl:template>
  23
  24 <xsl:template match="LRef">
  25    <xsl:call-template name="position"/>
  26 </xsl:template>
  27
  28 <xsl:template match="GRef">
  29    <xsl:call-template name="uri"/>
  30 </xsl:template>
  31
  32 <xsl:template match="Cast">
  33    <xsl:call-template name="oa"/>
  34    <xsl:apply-templates/>
  35    <xsl:call-template name="ca"/>
  36    <xsl:call-template name="fs"/>
  37 </xsl:template>
  38
  39 <xsl:template match="Appl">
  40    <xsl:call-template name="op"/>
  41    <xsl:apply-templates/>
  42    <xsl:call-template name="cp"/>
  43    <xsl:call-template name="fs"/>
  44 </xsl:template>
  45
  46 <xsl:template match="Abst">
  47    <xsl:call-template name="lambda"/>
  48    <xsl:value-of select="@name"/>
  49    <xsl:call-template name="cn"/>
  50    <xsl:apply-templates/>
  51    <xsl:call-template name="fs"/>
  52 </xsl:template>
  53
  54 <xsl:template match="Abbr">
  55    <xsl:call-template name="delta"/>
  56    <xsl:call-template name="binder"/>
  57    <xsl:call-template name="eq"/>
  58    <xsl:apply-templates/>
  59    <xsl:call-template name="fs"/>
  60 </xsl:template>
  61
  62 <xsl:template match="Void">
  63    <xsl:call-template name="chi"/>
  64    <xsl:call-template name="binder"/>
  65    <xsl:apply-templates/>
  66    <xsl:call-template name="fs"/>
  67
  68 </xsl:template>
  69
  70 </xsl:stylesheet>