]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/web/home/BTM.ldw.xml
bugfix in uri's: missing "/" added to baseuri's where necessary
[helm.git] / helm / www / lambdadelta / web / home / BTM.ldw.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <page xmlns="http://lambdadelta.info/"
4       description = "BTM"
5       title = "BTM"
6       head = "cic:/matita/BTM/"
7 >
8    <section>Character classes</section>
9    <body>This table shows how the first 45 positive integers
10          are distributed in the four classes.
11    </body>
12    <table name="chc_45"/>
13
14    <footer/>
15 </page>