matita/matita/contribs/lambdadelta/web/core.ldw.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <page xmlns="http://lambdadelta.info/"
   4       description = "\lambda\delta home page"
   5       title = "\lambda\delta home page"
   6       logo = "crux"
   7       head = "cic:/matita/lambdadelta/basic_2/ (core λδ version 2)"
   8 >
   9    <sitemap name="sitemap"/>
  10
  11    <section15 name="summary">Summary of the Specification</section15>
  12    <table name="core"/>
  13
  14    <footer/>
  15 </page>