]>
2009-08-04 | Claudio Sacerdoti... | ... | blob | commitdiff | raw |
2009-08-01 | Claudio Sacerdoti... | Smaller formulae. | blob | commitdiff | raw | diff to current |
2009-07-31 | Claudio Sacerdoti... | Setoids, setoids1, sets, and the like. The mess begins. | 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... | \ldots used here and there. Cool! | blob | commitdiff | raw | diff to current |
2009-07-21 | Claudio Sacerdoti... | 1) record projections are now automatically generated | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-07-07 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-07-07 | Claudio Sacerdoti... | Let's play a bit with NG. | blob | commitdiff | raw | diff to current |