]>
2010-07-07 | Enrico Tassi | moved formal_topology into library" | blob | commitdiff | raw |
2010-07-04 | Claudio Sacerdoti... | Some important proofs/definitions were (and are still... | blob | commitdiff | raw |
2009-02-01 | Claudio Sacerdoti... | Renaming. | blob | commitdiff | raw | diff to current |
2009-01-16 | Claudio Sacerdoti... | Sambin's result holds trivially since most of the field... | blob | commitdiff | raw | diff to current |