]>
2009-01-04 | Claudio Sacerdoti... | Yet another universe problem :-( | blob | commitdiff | raw |
2008-12-28 | Claudio Sacerdoti... | Proof that \Omega \sup A is an overlap algebra, up... | blob | commitdiff | raw | diff to current |
2008-12-28 | Claudio Sacerdoti... | WARNING: partial commit to try to understand something. | blob | commitdiff | raw | diff to current |
2008-12-22 | Claudio Sacerdoti... | Just copied here from formal_topologies.ma. | blob | commitdiff | raw | diff to current |
2008-12-22 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2008-12-17 | Enrico Tassi | foo overlap | blob | commitdiff | raw | diff to current |