]>
2006-10-25 | Ferruccio Guidi | we removed about 100 match-with costruction turning... | tree | commitdiff |
2006-09-18 | Ferruccio Guidi | last problem elegantly resolved! | tree | commitdiff |
2006-09-06 | Ferruccio Guidi | dependences fixed | tree | commitdiff |
2006-09-05 | Ferruccio Guidi | new theorems | tree | commitdiff |