]>
2009-07-30 | Claudio Sacerdoti... | \ldots used here and there. Cool! | tree | commitdiff |
2009-07-27 | Claudio Sacerdoti... | setoids.ma split into setoids.ma + setoids1.ma | tree | commitdiff |
2009-07-27 | Claudio Sacerdoti... | topology/igt.ma (???) |-> sets/setoids.ma | tree | commitdiff |
2009-07-21 | Claudio Sacerdoti... | 1) record projections are now automatically generated | tree | commitdiff |
2009-07-08 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-07-07 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-07-07 | Claudio Sacerdoti... | Let's play a bit with NG. | tree | commitdiff |