]>
2006-01-12 | Andrea Asperti | Moved paramodulation inside tactics. | blob | commitdiff | raw |
2005-12-19 | Andrea Asperti | Discrimination and trie removed. | blob | commitdiff | raw |
2005-10-25 | Andrea Asperti | readme file | blob | commitdiff | raw | diff to current |