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