]>
2006-12-28 | Claudio Sacerdoti... | .depends committed to fix non-compilation errors | tree | commitdiff |
2006-12-24 | Ferruccio Guidi | some depend files | tree | commitdiff |
2006-12-12 | Ferruccio Guidi | we parametrized CicNotationPt.obj on 'term | tree | commitdiff |
2006-07-24 | Enrico Tassi | added timeout parameter to auto paramodulation. | tree | commitdiff |
2006-07-22 | Enrico Tassi | matitaprover | tree | commitdiff |