]>
2005-10-11 | Andrea Asperti | realizability for the induction principle. | blob | commitdiff | raw |
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 |