]>
2005-07-26 | Claudio Sacerdoti... | "Coq's " prefix added to every interpretation. | blob | commitdiff | raw |
2005-07-22 | Alberto Griggio | added optional "paramodulation" parameter to auto to... | blob | commitdiff | raw | diff to current |
2005-07-21 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |