]>
2006-12-07 | Ferruccio Guidi | new theorems added. does not comile well yet :(( proble... | 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 |