]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/library.shtml
simplified version of a theorem.
[helm.git] / helm / www / matita / library.shtml
1 <!-- $Id$ -->
2 <!--#include virtual="xhtml-header.shtml" -->
3 <html>
4   <head>
5     <title>Matita - Library</title>
6     <!--#include virtual="xhtml-meta.shtml" -->
7   </head>
8   <body>
9     <!--#include virtual="menubar.shtml" -->
10     <div class="main">
11       <h1>Matita Library</h1>
12
13       <h2>Scripts<a name="scripts"></a></h2>
14       <p>
15       The <a href="library/">scripts</a> used to generate the knowledge base of
16       Matita can be <a href="library/">browsed on line</a>.
17       </p>
18
19       <!--#include virtual="bottombar.shtml" -->
20     </div>
21   </body>
22 </html>