]>
2008-07-09 | Enrico Tassi | better notation | blob | commitdiff | raw |
2008-07-09 | Enrico Tassi | minor fixes | blob | commitdiff | raw | diff to current |
2008-07-09 | Enrico Tassi | CProp hierarchy fixed: | blob | commitdiff | raw | diff to current |
2008-07-04 | Claudio Sacerdoti... | More definitions, following Ciraulo's Phd Thesis "Const... | blob | commitdiff | raw | diff to current |
2008-07-04 | Claudio Sacerdoti... | Compatibility finished. | blob | commitdiff | raw | diff to current |
2008-07-04 | Claudio Sacerdoti... | Nice: cotransitivity proved. | blob | commitdiff | raw | diff to current |
2008-07-03 | Claudio Sacerdoti... | More work. | blob | commitdiff | raw | diff to current |
2008-07-03 | Claudio Sacerdoti... | First few lemmas. But I have some problems in making... | blob | commitdiff | raw | diff to current |
2008-07-03 | Claudio Sacerdoti... | First experiment in Padua about formal topologies. | blob | commitdiff | raw | diff to current |