+<?xml version="1.0" encoding="UTF-8"?>
+
+<page xmlns="http://lambdadelta.info/"
+ description = "\lambda\delta home page"
+ title = "\lambda\delta home page"
+ head = "The Formal System λδ (\lambda\delta)"
+>
+ <sitemap name="sitemap"/>
+
+ <section9 name="foreword">Foreword</section9>
+ <body>
+ The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
+ the foundations of Mathematics that require an underlying specification language
+ (for example the <link to="http://www.math.unipd.it/~maietti/">Minimal Type Theory</link>
+ and its predecessors).
+ </body>
+ <body>
+ λδ is developed in the context of the
+ <link to="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics</link>
+ as a machine-checked digital specification
+ that is not the formal counterpart of some previously published informal material.
+ </body>
+ <body>
+ λδ comes in several versions listed in the following table,
+ which includes the major milestones:
+ </body>
+ <table name="versions"/>
+
+ <section3 name="notice">Notice for the Internet Explorer user</section3>
+ <body>
+ To view this site correctly, please select a font
+ with <link to="http://www.unicode.org/">Unicode</link> support.
+ For example "Lucida Sans Unicode" (it should be already installed on your system).
+ To change the current font follow:
+ "Tools" menu → "Internet Options" entry → "General" tab → "Fonts" button.
+ </body>
+
+ <footer/>
+</page>