]>
2005-05-13 | Alberto Griggio | fixed demodulation bug |
commit | commitdiff | tree |
2005-05-13 | Alberto Griggio | moved string_of_equality into utils |
commit | commitdiff | tree |
2005-05-12 | Alberto Griggio | first commit of paramodulation-based theorem proving... |
commit | commitdiff | tree |