+ The specification of Landau's "Grundlagen der Analysis"
+ for <a href="http://matita.cs.unibo.it/">Matita 0.99.2</a>:
+ <a href="http://lambdadelta.info/download/grundlagen_2.tar.bz2">grundlagen_2.tar.bz2</a>
+ (revised <span class="emph gamma">2014-12</span>).
+ </li>
+ <li>
+ The corrected specification of Landau's "Grundlagen der Analysis":
+ <a href="http://lambdadelta.info/download/grundlagen_2.aut">grundlagen_2.aut</a>
+ (revised <span class="emph gamma">2014-12</span>).
+ </li>
+ <li>
+ <span class="emph gamma">2014-12.</span>