]>
2005-11-14 | Andrea Asperti | Introduction, again.: | blob | commitdiff | raw |
2005-11-14 | Andrea Asperti | Introduction (partial). | blob | commitdiff | raw | diff to current |
2005-11-14 | Andrea Asperti | Introduction. | blob | commitdiff | raw | diff to current |
2005-11-10 | Stefano Zacchiroli | paper skeleton | blob | commitdiff | raw | diff to current |
2005-11-10 | Andrea Asperti | typos | blob | commitdiff | raw | diff to current |
2005-11-10 | Andrea Asperti | Headings of the matita paper. | blob | commitdiff | raw | diff to current |