1 <?xml version="1.0" encoding="UTF-8"?>
3 <page xmlns="http://lambdadelta.info/"
4 description = "\lambda\delta home page"
5 title = "\lambda\delta home page"
6 head = "The Formal System λδ (\lambda\delta)"
8 <sitemap name="sitemap"/>
10 <section4 name="bibtex">Documentation</section4>
12 BibTeX database of λδ documentation:
13 <notice class="alpha" notice="download"/>
14 <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
15 <notice class="alpha" notice="view"/>
16 <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
17 (revised <notice class="gamma" notice="2014-10"/>).
20 <subsection name="v2"><version2-icon/>λδ version 2 (active)</subsection>
22 The main source of information is <notice class="alpha" notice="J2"/>.
24 <table name="documentation_2"/>
26 <subsection name="v1"><version1-icon/>λδ version 1 (superseded)</subsection>
28 The main source of information is <notice class="alpha" notice="J1"/>.
29 A summary is available in <notice class="alpha" notice="P5"/>.
31 <table name="documentation_1"/>