]>
2006-09-13 | Ferruccio Guidi | ok up to pr3 | tree | commitdiff |
2006-09-10 | Ferruccio Guidi | ok up to arity assignment | tree | commitdiff |
2006-09-10 | Ferruccio Guidi | one problem still remains | tree | commitdiff |
2006-09-10 | Ferruccio Guidi | 3 problems solved patching the alpha-conversion of... | tree | commitdiff |
2006-09-08 | Ferruccio Guidi | - some theorems from levels_defs | tree | commitdiff |