]> matita.cs.unibo.it Git - helm.git/history - matita/components/ng_paramodulation/paramod.ml
Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm
[helm.git] / matita / components / ng_paramodulation / paramod.ml
2011-11-21 Andrea AspertiMore debugging info
2010-11-18 Andrea AspertiDebugging disabled
2010-11-18 Andrea Asperti- auto now uses the equality of the new library
2010-09-30 Claudio Sacerdoti... Stuff moved from old Matita.