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">
16 <xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
18 <xsl:template match="Sort">
19 <span style="{$sort}">
20 <xsl:call-template name="position"/>
24 <xsl:template match="LRef">
25 <xsl:call-template name="position"/>
28 <xsl:template match="GRef">
29 <xsl:call-template name="uri"/>
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"/>
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"/>
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"/>
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"/>
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"/>