]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_paramodulation/paramod.mli
....
[helm.git] / helm / software / components / ng_paramodulation / paramod.mli
2009-06-25 Enrico Tassitimeouts are passed as arguments, so that tptpprover can
2009-06-25 Enrico Tassithe prover is almost OK, types in fuctors a bit extended to
2009-06-25 Enrico Tassicode refactoring for paramodulation
2009-06-18 denesFixed wrong types in proof terms
2009-06-17 Claudio Sacerdoti... Initial implementation of statuses using objects in...
2009-06-16 Enrico Tassifirst proof reconstruction attempt, still bugged since it
2009-06-11 denesActive goals are now demodulated after selecting a...
2009-06-09 Enrico Tassisnaphost: supright almost done
2009-06-05 denesFirst tests for paramodulation (pretty printer, unifica...