]>
2005-10-24 | Andrea Asperti | Minor fixings. | blob | commitdiff | raw |
2005-10-24 | Andrea Asperti | Tentative title. | blob | commitdiff | raw | diff to current |
2005-10-17 | Andrea Asperti | Added basic bibliography. | blob | commitdiff | raw | diff to current |
2005-10-13 | Enrico Tassi | added few proofs | blob | commitdiff | raw | diff to current |
2005-10-12 | Enrico Tassi | few more cases | blob | commitdiff | raw | diff to current |
2005-10-11 | Enrico Tassi | added few cases | blob | commitdiff | raw | diff to current |
2005-10-11 | Enrico Tassi | fixed some typos | blob | commitdiff | raw | diff to current |
2005-10-11 | Andrea Asperti | realizability for the induction principle. | blob | commitdiff | raw | diff to current |
2005-10-10 | Andrea Asperti | First draft. | blob | commitdiff | raw | diff to current |
2005-10-10 | Andrea Asperti | Empty directory. | blob | commitdiff | raw | diff to current |