matita/matita/contribs/BTM/web/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       logo = "crux"
   7       head = "cic:/matita/BTM/"
   8 >
   9    <section>Character classes</section>
  10    <body>This table shows how the first 45 positive integers
  11          are distributed in the four classes.
  12    </body>
  13    <table name="chc_45"/>
  14
  15    <footer/>
  16 </page>