]>
2010-07-07 | Enrico Tassi | moved formal_topology into library" | blob | commitdiff | raw |
2010-06-29 | Enrico Tassi | notation made half decent | blob | commitdiff | raw |
2009-01-06 | Claudio Sacerdoti... | More work on concrete spaces. | blob | commitdiff | raw | diff to current |