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://lambdadelta.info/"
16 xmlns:xhtml="http://www.w3.org/1999/xhtml"
19 <xsl:template name="sp">
20 <xsl:text> </xsl:text>
23 <xsl:template name="sl">
24 <xsl:text>/</xsl:text>
27 <xsl:template name="fs">
28 <xsl:text>.​</xsl:text>
31 <xsl:template name="op">
32 <xsl:text>(</xsl:text>
35 <xsl:template name="cp">
36 <xsl:text>)</xsl:text>
39 <xsl:template name="ob">
40 <xsl:text>[</xsl:text>
43 <xsl:template name="cb">
44 <xsl:text>]</xsl:text>
47 <xsl:template name="oc">
48 <xsl:text>{</xsl:text>
51 <xsl:template name="cc">
52 <xsl:text>}</xsl:text>
55 <xsl:template name="oa">
56 <xsl:text><</xsl:text>
59 <xsl:template name="ca">
60 <xsl:text>></xsl:text>
63 <xsl:template name="us">
64 <xsl:text>_</xsl:text>
67 <xsl:template name="cn">
68 <xsl:text>:</xsl:text>
71 <xsl:template name="eq">
72 <xsl:text>=</xsl:text>
75 <xsl:template name="infinity">
76 <xsl:text>∞</xsl:text>
79 <xsl:template name="lambda">
80 <xsl:text>λ</xsl:text>
83 <xsl:template name="Pi">
84 <xsl:text>Π</xsl:text>
87 <xsl:template name="forall">
88 <xsl:text>∀</xsl:text>
91 <xsl:template name="delta">
92 <xsl:text>δ</xsl:text>
95 <xsl:template name="chi">
96 <xsl:text>χ</xsl:text>
99 <xsl:template name="cm">
100 <xsl:text>, </xsl:text>
103 <xsl:template name="qt">
104 <xsl:text>"</xsl:text>
107 <xsl:template name="idescr">
108 <xsl:text>Informal description: </xsl:text>
111 <xsl:template name="vpars">
112 <xsl:text>Validation parameters: </xsl:text>
115 <xsl:template name="shier">
116 <xsl:text>sort hierarchy = </xsl:text>
119 <xsl:template name="kopts">
120 <xsl:text>kernel options = </xsl:text>
123 <xsl:template name="global">
124 <xhtml:span class="global" title="{@position}">
125 <xsl:value-of select="@name"/>
129 <xsl:template name="lddlurl">
130 <xsl:value-of select="'static/lddl'"/>
133 <xsl:template name="mk_segment">
134 <xsl:param name="path"/>
135 <xsl:param name="name"/>
136 <xsl:variable name="url">
137 <xsl:call-template name="lddlurl"/>
138 <xsl:value-of select="substring-after($path,'ld:')"/>
140 <rlink to="{$url}"><xsl:value-of select="$name"/></rlink>
141 <xsl:call-template name="sl"/>
144 <xsl:template name="mk_path">
145 <xsl:param name="rpath" select="@uri"/>
146 <xsl:variable name="newrpath" select="substring-after($rpath,'/')"/>
148 <xsl:when test="$newrpath">
149 <xsl:variable name="segment" select="substring-before($rpath,$newrpath)"/>
150 <xsl:call-template name="mk_segment">
151 <xsl:with-param name="path" select="substring-before(@uri,$newrpath)"/>
152 <xsl:with-param name="name" select="substring-before($segment,'/')"/>
154 <xsl:call-template name="mk_path">
155 <xsl:with-param name="rpath" select="$newrpath"/>
159 <xsl:variable name="path" select="substring-before(@uri,$rpath)"/>
160 <xhtml:span class="global">
161 <xsl:value-of select="substring-after(@uri,$path)"/>
167 <xsl:template name="uri">
168 <xsl:variable name="url">
169 <xsl:call-template name="lddlurl"/>
170 <xsl:value-of select="substring-after(@uri,'ld:')"/>
171 <xsl:text>.html</xsl:text>
173 <rlink to="{$url}"><xsl:value-of select="@name"/></rlink>
176 <xsl:template name="layer">
179 <xsl:when test="@layer">
180 <xsl:value-of select="@layer"/>
183 <xsl:call-template name="infinity"/>
189 <xsl:template name="abst">
191 <xsl:when test="@layer=0 and @position=1">
192 <xsl:call-template name="forall"/>
193 <xsl:call-template name="layer"/>
195 <xsl:when test="@layer=0">
196 <xsl:call-template name="Pi"/>
197 <xsl:call-template name="layer"/>
199 <xsl:when test="@layer=1 and @position=1">
200 <xsl:call-template name="forall"/>
202 <xsl:when test="@layer=1">
203 <xsl:call-template name="Pi"/>
205 <xsl:when test="@layer=2">
206 <xsl:call-template name="lambda"/>
209 <xsl:call-template name="lambda"/>
210 <xsl:call-template name="layer"/>
215 <xsl:template name="abbr">
216 <xsl:call-template name="delta"/>
219 <xsl:template name="void">
220 <xsl:call-template name="chi"/>
223 <xsl:template name="name">
225 <xsl:when test="@name">
226 <xsl:value-of select="@name"/>
229 <xsl:call-template name="us"/>
234 <xsl:template name="separator">
237 <xsl:variable name="pos">
238 <xsl:value-of select="position()"/>
240 <xsl:variable name="last">
241 <xsl:value-of select="last()"/>
243 <xhtml:span class="separator" title="{$pos} {$last}">
244 <xsl:call-template name="fs"/>
248 <xsl:when test="last()>position()">
249 <xhtml:span class="separator">
250 <xsl:call-template name="fs"/>
258 <xsl:template name="multiple">
259 <xhtml:span class="separator">
260 <xsl:call-template name="cm"/>
264 <xsl:template name="mk_terms">
265 <xsl:for-each select="*">
266 <xsl:apply-templates select="."/>
267 <xsl:if test="(name()='Sort' or name()='LRef' or name()='GRef') and position()!=last()">
268 <xsl:call-template name="multiple"/>