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/"
18 <xsl:template name="sp">
19 <xsl:text> </xsl:text>
22 <xsl:template name="sl">
23 <xsl:text>/</xsl:text>
26 <xsl:template name="fs">
27 <xsl:text>.​</xsl:text>
30 <xsl:template name="op">
31 <xsl:text>(</xsl:text>
34 <xsl:template name="cp">
35 <xsl:text>)</xsl:text>
38 <xsl:template name="ob">
39 <xsl:text>[</xsl:text>
42 <xsl:template name="cb">
43 <xsl:text>]</xsl:text>
46 <xsl:template name="oc">
47 <xsl:text>{</xsl:text>
50 <xsl:template name="cc">
51 <xsl:text>}</xsl:text>
54 <xsl:template name="oa">
55 <xsl:text><</xsl:text>
58 <xsl:template name="ca">
59 <xsl:text>></xsl:text>
62 <xsl:template name="us">
63 <xsl:text>_</xsl:text>
66 <xsl:template name="cn">
67 <xsl:text>:</xsl:text>
70 <xsl:template name="eq">
71 <xsl:text>=</xsl:text>
74 <xsl:template name="infinity">
75 <xsl:text>∞</xsl:text>
78 <xsl:template name="lambda">
79 <xsl:text>λ</xsl:text>
82 <xsl:template name="Pi">
83 <xsl:text>Π</xsl:text>
86 <xsl:template name="forall">
87 <xsl:text>∀</xsl:text>
90 <xsl:template name="delta">
91 <xsl:text>δ</xsl:text>
94 <xsl:template name="chi">
95 <xsl:text>χ</xsl:text>
98 <xsl:template name="cm">
99 <xsl:text>, </xsl:text>
102 <xsl:template name="qt">
103 <xsl:text>"</xsl:text>
106 <xsl:template name="idescr">
107 <xsl:text>Informal description: </xsl:text>
110 <xsl:template name="vpars">
111 <xsl:text>Validation parameters: </xsl:text>
114 <xsl:template name="shier">
115 <xsl:text>sort hierarchy = </xsl:text>
118 <xsl:template name="kopts">
119 <xsl:text>kernel options = </xsl:text>
122 <xsl:template name="global">
123 <style class="global" title="{@position}">
124 <xsl:value-of select="@name"/>
128 <xsl:template name="lddlurl">
129 <xsl:value-of select="'html/lddl'"/>
132 <xsl:template name="mk_segment">
133 <xsl:param name="path"/>
134 <xsl:param name="name"/>
135 <xsl:variable name="url">
136 <xsl:call-template name="lddlurl"/>
137 <xsl:value-of select="substring-after($path,'ld:')"/>
139 <rlink to="{$url}"><xsl:value-of select="$name"/></rlink>
140 <xsl:call-template name="sl"/>
143 <xsl:template name="mk_path">
144 <xsl:param name="rpath" select="@uri"/>
145 <xsl:variable name="newrpath" select="substring-after($rpath,'/')"/>
147 <xsl:when test="$newrpath">
148 <xsl:variable name="segment" select="substring-before($rpath,$newrpath)"/>
149 <xsl:call-template name="mk_segment">
150 <xsl:with-param name="path" select="substring-before(@uri,$newrpath)"/>
151 <xsl:with-param name="name" select="substring-before($segment,'/')"/>
153 <xsl:call-template name="mk_path">
154 <xsl:with-param name="rpath" select="$newrpath"/>
158 <xsl:variable name="path" select="substring-before(@uri,$rpath)"/>
159 <style class="global">
160 <xsl:value-of select="substring-after(@uri,$path)"/>
166 <xsl:template name="uri">
167 <xsl:variable name="url">
168 <xsl:call-template name="lddlurl"/>
169 <xsl:value-of select="substring-after(@uri,'ld:')"/>
170 <xsl:text>.html</xsl:text>
172 <rlink to="{$url}"><xsl:value-of select="@name"/></rlink>
175 <xsl:template name="layer">
178 <xsl:when test="@layer">
179 <xsl:value-of select="@layer"/>
182 <xsl:call-template name="infinity"/>
188 <xsl:template name="abst">
190 <xsl:when test="@layer=0 and @position=1">
191 <xsl:call-template name="forall"/>
192 <xsl:call-template name="layer"/>
194 <xsl:when test="@layer=0">
195 <xsl:call-template name="Pi"/>
196 <xsl:call-template name="layer"/>
198 <xsl:when test="@layer=1 and @position=1">
199 <xsl:call-template name="forall"/>
201 <xsl:when test="@layer=1">
202 <xsl:call-template name="Pi"/>
204 <xsl:when test="@layer=2">
205 <xsl:call-template name="lambda"/>
208 <xsl:call-template name="lambda"/>
209 <xsl:call-template name="layer"/>
214 <xsl:template name="abbr">
215 <xsl:call-template name="delta"/>
218 <xsl:template name="void">
219 <xsl:call-template name="chi"/>
222 <xsl:template name="name">
224 <xsl:when test="@name">
225 <xsl:value-of select="@name"/>
228 <xsl:call-template name="us"/>
233 <xsl:template name="separator">
236 <xsl:variable name="pos">
237 <xsl:value-of select="position()"/>
239 <xsl:variable name="last">
240 <xsl:value-of select="last()"/>
242 <style class="separator" title="{$pos} {$last}">
243 <xsl:call-template name="fs"/>
247 <xsl:when test="last()>position()">
248 <style class="separator">
249 <xsl:call-template name="fs"/>
257 <xsl:template name="multiple">
258 <style class="separator">
259 <xsl:call-template name="cm"/>
263 <xsl:template name="mk_terms">
264 <xsl:for-each select="*">
265 <xsl:apply-templates select="."/>
266 <xsl:if test="(name()='Sort' or name()='LRef' or name()='GRef') and position()!=last()">
267 <xsl:call-template name="multiple"/>