]>
2009-12-30 | Claudio Sacerdoti... | Removed line is back again. | tree | commitdiff |
2009-11-17 | Wilmer Ricciotti | ndestruct tactic: mainly bugfixes; the algorithm isn... | tree | commitdiff |
2009-10-04 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-09-08 | Enrico Tassi | snapshot for CSC | tree | commitdiff |
2009-08-20 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-08-20 | Claudio Sacerdoti... | - Bug fixed in definition of big_op. | tree | commitdiff |
2009-08-18 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-08-14 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-08-14 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-08-13 | Claudio Sacerdoti... | (nat,plus) is an abelian, unital magma | tree | commitdiff |
2009-08-12 | Claudio Sacerdoti... | A very little bit of arithmetic. | tree | commitdiff |