+ <notice class="gamma" notice="Version 0.8.2 (2014-12)."/>
+ Uses λδ "Version 3" with layer variables as core language.
+ Supports exportation to Grafite
+ (the specification language of <link to="http://matita.cs.unibo.it/">Matita</link>).
+ The overall validation speed of the "Grundlagen der Analysis"
+ increases of 34% with respect to version 0.8.1.
+ [Svn revision: 13005] (<rlink to="download/helena_0.8.2.tar.gz">archived source code</rlink>)