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:call-template name="mk_terms"/>
  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:call-template name="mk_binder">
  49       <xsl:with-param name="sep-seq">
  50          <xsl:call-template name="cn"/>
  51       </xsl:with-param>
  52    </xsl:call-template>
  53 </xsl:template>
  54
  55 <xsl:template match="Abbr">
  56    <xsl:call-template name="delta"/>
  57    <xsl:call-template name="mk_binder">
  58       <xsl:with-param name="sep-seq">
  59          <xsl:call-template name="eq"/>
  60       </xsl:with-param>
  61    </xsl:call-template>
  62 </xsl:template>
  63
  64 <xsl:template match="Void">
  65    <xsl:call-template name="chi"/>
  66    <xsl:call-template name="ob"/>
  67    <xsl:call-template name="mk_names"/>
  68    <xsl:call-template name="cb"/>
  69    <xsl:call-template name="fs"/>
  70 </xsl:template>
  71
  72 </xsl:stylesheet>