]>
2006-01-25 | Andrea Asperti | Code restructuring. | blob | commitdiff | raw |
2006-01-16 | Andrea Asperti | Added recursive path ordering and demodulation tactic. | blob | commitdiff | raw | diff to current |
2006-01-12 | Andrea Asperti | Moved paramodulation inside tactics. | blob | commitdiff | raw | diff to current |