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