]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/lddl_constant.xsl
- first results on cpx (dericed from those on cpg)
[helm.git] / helm / www / lambdadelta / xslt / lddl_constant.xsl
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <!--
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.                     
7     ||I||                                                                
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_______________________________________________________________ -->
13
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
15                               xmlns:ld="http://lambdadelta.info/"
16                               xmlns="http://lambdadelta.info/"
17 >
18
19 <xsl:template name="CONSTANT">
20    <xsl:param name="kind"/>
21    <section5 name="constant">Constant</section5>
22    <subsection name="{$kind}">
23       <xsl:value-of select="$kind"/>
24       <xsl:call-template name="cn"/>
25       <xsl:call-template name="sp"/>   
26       <xsl:call-template name="global"/>
27       <xsl:call-template name="sp"/>
28       <xsl:call-template name="op"/>
29       <xsl:call-template name="mk_path"/>
30       <xsl:call-template name="cp"/>      
31    </subsection>
32    <body>
33       <xsl:call-template name="idescr"/>
34       <xsl:call-template name="qt"/>
35       <xsl:value-of select="@meta"/>
36       <xsl:call-template name="qt"/>
37    </body>
38    <body>
39       <xsl:apply-templates select="*"/>
40    </body>
41 </xsl:template>
42
43 <xsl:template match="ld:GDec">
44    <xsl:call-template name="CONSTANT">
45       <xsl:with-param name="kind">Declaration</xsl:with-param>
46    </xsl:call-template>
47 </xsl:template>
48
49 <xsl:template match="ld:GDef">
50    <xsl:call-template name="CONSTANT">
51       <xsl:with-param name="kind">Definition</xsl:with-param>
52    </xsl:call-template>
53 </xsl:template>
54
55 </xsl:stylesheet>