<h2>Scripts<a name="scripts"></a></h2>
<p>
- The <a href="library/">scripts</a> used to generate the knowledge base of
- Matita can be <a href="library/">browsed on line</a>.
+ The <a href="nlibrary/">scripts</a> used to generate the knowledge base of
+ Matita can be <a href="nlibrary/">browsed on line</a>.
</p>
<p>
- The experimental <a href="nlibrary/">scripts</a> for the next major version of Matita can also be <a href="nlibrary/">browsed on line</a>.
+ (Old <a href="library/">scripts</a> used in the previous releases of
+ Matita are <a href="library/">still available</a>.)
</p>
<br/>
here</a>.
</p>
- <h2>The Formal System λδ (lambda-delta)<a name="lambda-delta"></a></h2>
+ <h2>The Formal System λδ (lambda_delta)<a name="lambda_delta"></a></h2>
<p>The formal system λδ is a typed λ-calculus that
pursues the unification of terms, types, environments and contexts
</p>
<p>
- See the <a href="http://helm.cs.unibo.it/lambda-delta/">λδ home page</a>
+ See the <a href="http://lambda-delta.info/">λδ home page</a>
for more information.
</p>