]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/paramodulation/indexing.ml
reverted to previous version, as it worked better...
[helm.git] / helm / ocaml / paramodulation / indexing.ml
2005-06-22 Alberto Griggioreverted to previous version, as it worked better...
2005-06-22 Alberto Griggiouse of discrimination trees instead of path indexes...
2005-06-20 Alberto Griggiosome optimizations...
2005-06-19 Alberto Griggiopath indexing integration
2005-06-17 Alberto Griggioprofiling experiments...
2005-06-15 Alberto Griggionow something works...
2005-06-10 Alberto Griggiointegrated indexing.ml, breaks everything :-P (previous...
2005-06-09 Alberto Griggioprima implementazione di demodulate, superposition_left...
2005-06-07 Andrea AspertiMy two pennies.