1 <?xml version="1.0" encoding="UTF-8"?>
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.
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_______________________________________________________________ -->
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
15 xmlns="http://www.w3.org/1999/xhtml"
18 <xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
20 <xsl:template name="separator">
21 <span class="separator">
22 <xsl:call-template name="fs"/>
26 <xsl:template match="Sort">
28 <xsl:call-template name="position"/>
32 <xsl:template match="LRef">
34 <xsl:call-template name="position"/>
38 <xsl:template match="GRef">
40 <xsl:call-template name="uri"/>
44 <xsl:template match="Cast">
46 <xsl:call-template name="oa"/>
47 <xsl:apply-templates/>
48 <xsl:call-template name="ca"/>
50 <xsl:call-template name="separator"/>
53 <xsl:template match="Appl">
55 <xsl:call-template name="op"/>
56 <xsl:call-template name="mk_terms"/>
57 <xsl:call-template name="cp"/>
59 <xsl:call-template name="separator"/>
62 <xsl:template match="Abst">
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"/>
71 <xsl:call-template name="separator"/>
74 <xsl:template match="Abbr">
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"/>
83 <xsl:call-template name="separator"/>
86 <xsl:template match="Void">
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"/>
93 <xsl:call-template name="separator"/>