]>
2009-07-31 | Claudio Sacerdoti... | Setoids, setoids1, sets, and the like. The mess begins. | blob | commitdiff | raw |
2009-07-31 | Claudio Sacerdoti... | Record projections are now defined as fixpoints in... | blob | commitdiff | raw | diff to current |
2009-07-30 | Claudio Sacerdoti... | More napply \ldots => napply | blob | commitdiff | raw | diff to current |
2009-07-30 | Claudio Sacerdoti... | More \ldots. | blob | commitdiff | raw | diff to current |
2009-07-30 | Claudio Sacerdoti... | \ldots used here and there. Cool! | blob | commitdiff | raw | diff to current |
2009-07-27 | Claudio Sacerdoti... | setoids.ma split into setoids.ma + setoids1.ma | blob | commitdiff | raw | diff to current |
2009-07-27 | Claudio Sacerdoti... | topology/igt.ma (???) |-> sets/setoids.ma | blob | commitdiff | raw | diff to current |