]>
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | commit | commitdiff |
2006-02-03 | Andrea Asperti | snapshot | commit | commitdiff |
2006-01-31 | Enrico Tassi | some makefile work | commit | commitdiff |
2006-01-25 | Andrea Asperti | Code restructuring. | commit | commitdiff |
2006-01-16 | Claudio Sacerdoti... | Dead code removed. | commit | commitdiff |
2006-01-16 | Andrea Asperti | Added recursive path ordering and demodulation tactic. | commit | commitdiff |
2006-01-12 | Andrea Asperti | Moved paramodulation inside tactics. | commit | commitdiff |