]>
2008-06-23 | Ferruccio Guidi | metaAut.xlate_item started | blob | commitdiff | raw |
2008-06-16 | Ferruccio Guidi | transformation from automath to intermediate language... | blob | commitdiff | raw | diff to current |
2008-06-13 | Ferruccio Guidi | Initial version of the Helena Checker | blob | commitdiff | raw | diff to current |