Features importation from <a href="http://www.win.tue.nl/automath/">Automath</a>
and exportation to <a href="http://www.w3.org/XML/">XML</a>.
<a href="http://lambdadelta.info/documentation.html#ldR4">Documentation (R4)</a>.
Features importation from <a href="http://www.win.tue.nl/automath/">Automath</a>
and exportation to <a href="http://www.w3.org/XML/">XML</a>.
<a href="http://lambdadelta.info/documentation.html#ldR4">Documentation (R4)</a>.