]>
2005-06-20 | Alberto Griggio | some optimizations... | blob | commitdiff | raw |
2005-06-19 | Alberto Griggio | path indexing integration | blob | commitdiff | raw | diff to current |
2005-06-10 | Alberto Griggio | integrated indexing.ml, breaks everything :-P (previous... | blob | commitdiff | raw | diff to current |
2005-06-09 | Alberto Griggio | cambiato il tipo equality, aggiunto l'ordinamento tra... | blob | commitdiff | raw | diff to current |
2005-06-07 | Alberto Griggio | *** empty log message *** | blob | commitdiff | raw | diff to current |
2005-05-12 | Alberto Griggio | first commit of paramodulation-based theorem proving... | blob | commitdiff | raw | diff to current |