+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-
-<!--
- ||M|| This file is part of HELM, an Hypertextual, Electronic
- ||A|| Library of Mathematics, developed at the Computer Science
- ||T|| Department, University of Bologna, Italy.
- ||I||
- ||T|| HELM is free software; you can redistribute it and/or
- ||A|| modify it under the terms of the GNU General Public License
- \ / version 2 or (at your option) any later version.
- \ / This software is distributed as is, NO WARRANTY.
- V_______________________________________________________________ -->
-
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns="http://www.w3.org/1999/xhtml"
->
-
-<xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
-
-<xsl:template name="separator">
- <span class="separator">
- <xsl:call-template name="fs"/>
- </span>
-</xsl:template>
-
-<xsl:template match="Sort">
- <span class="sort">
- <xsl:call-template name="position"/>
- </span>
-</xsl:template>
-
-<xsl:template match="LRef">
- <span class="lref">
- <xsl:call-template name="position"/>
- </span>
-</xsl:template>
-
-<xsl:template match="GRef">
- <span class="gref">
- <xsl:call-template name="uri"/>
- </span>
-</xsl:template>
-
-<xsl:template match="Cast">
- <span class="cast">
- <xsl:call-template name="oa"/>
- <xsl:apply-templates/>
- <xsl:call-template name="ca"/>
- </span>
- <xsl:call-template name="separator"/>
-</xsl:template>
-
-<xsl:template match="Appl">
- <span class="appl">
- <xsl:call-template name="op"/>
- <xsl:call-template name="mk_terms"/>
- <xsl:call-template name="cp"/>
- </span>
- <xsl:call-template name="separator"/>
-</xsl:template>
-
-<xsl:template match="Abst">
- <span class="local">
- <xsl:call-template name="lambda"/>
- <xsl:call-template name="mk_binder">
- <xsl:with-param name="sep-seq">
- <xsl:call-template name="cn"/>
- </xsl:with-param>
- </xsl:call-template>
- </span>
- <xsl:call-template name="separator"/>
-</xsl:template>
-
-<xsl:template match="Abbr">
- <span class="local">
- <xsl:call-template name="delta"/>
- <xsl:call-template name="mk_binder">
- <xsl:with-param name="sep-seq">
- <xsl:call-template name="eq"/>
- </xsl:with-param>
- </xsl:call-template>
- </span>
- <xsl:call-template name="separator"/>
-</xsl:template>
-
-<xsl:template match="Void">
- <span class="local">
- <xsl:call-template name="chi"/>
- <xsl:call-template name="ob"/>
- <xsl:call-template name="mk_names"/>
- <xsl:call-template name="cb"/>
- </span>
- <xsl:call-template name="separator"/>
-</xsl:template>
-
-</xsl:stylesheet>