]>
2010-07-22 | Enrico Tassi | ... | blob | commitdiff | raw |
2010-07-10 | Enrico Tassi | big mess of notation | blob | commitdiff | raw | diff to current |
2010-07-07 | Enrico Tassi | moved formal_topology into library" | blob | commitdiff | raw | diff to current |
2009-01-26 | Enrico Tassi | maction support added to notation, adopted for = AKA... | blob | commitdiff | raw |
2008-09-18 | Claudio Sacerdoti... | Major reordering of theorems in the appropriate files. | blob | commitdiff | raw | diff to current |
2008-09-15 | Claudio Sacerdoti... | BTop is a category. | blob | commitdiff | raw | diff to current |
2008-09-12 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2008-09-12 | Claudio Sacerdoti... | 1) as usual, I took the reverse notation for composition. | blob | commitdiff | raw | diff to current |