]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/proposal/contribution.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / proposal / contribution.xml
index ee54079066edf6ad24cafa78581a973181883fcd..8442270f03b88bde441d7cabcf7f63b6686e32b9 100644 (file)
@@ -7,6 +7,23 @@
    <title>Contribution to programme/key action objectives</title>
  </head>
  <body>
+
+ <table width="550">
+   <tr>
+    <td>
+     <a href="project-management.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
+    </td>
+    <td>
+     <a href="../project.html" target="content">Index</a>
+    </td>
+    <td>
+     <a href="innovation.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
+    </td>
+   </tr>
+  </table>
+
+  <br/>
+
   <h1>Contribution to programme/key action objectives</h1>
   <p>The Project contributes to build a user friendly information society, and
      in particular it meets the following general objectives of this 
      mathematics: namely a scientific, empirical study on the <i>real</i> 
      structure of mathematical entities, and the ``way of thinking'' of 
      mathematicians.</p>
+
+ <br/>
+
+ <table width="550">
+   <tr>
+    <td>
+     <a href="project-management.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
+    </td>
+    <td>
+     <a href="../project.html" target="content">Index</a>
+    </td>
+    <td>
+     <a href="innovation.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
+    </td>
+   </tr>
+  </table>
+
  </body>
 </html>