]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/paramodulation
snapshort
[helm.git] / helm / ocaml / paramodulation /
2005-06-10 Alberto Griggiointegrated indexing.ml, breaks everything :-P (previous...
2005-06-09 Alberto Griggioprima implementazione di demodulate, superposition_left...
2005-06-09 Alberto Griggiocambiato il tipo equality, aggiunto l'ordinamento tra...
2005-06-07 Alberto Griggio*** empty log message ***
2005-06-07 Andrea AspertiMy two pennies.
2005-05-19 Alberto Griggioadded lpo term-ordering
2005-05-19 Alberto Griggiovarious optimizations (to paramodulation and passive...
2005-05-15 Alberto Griggioadded saturation.opt to the ignore list
2005-05-15 Alberto Griggiofixes (mainly) to demodulation and meta_convertibility
2005-05-13 Alberto Griggiofixed demodulation bug
2005-05-13 Alberto Griggiomoved string_of_equality into utils
2005-05-12 Alberto Griggiofirst commit of paramodulation-based theorem proving...