]>
2009-06-25 | Enrico Tassi | code refactoring for paramodulation | blob | commitdiff | raw |
2009-06-18 | denes | Fixed wrong types in proof terms | blob | commitdiff | raw | diff to current |
2009-06-17 | Claudio Sacerdoti... | Initial implementation of statuses using objects in... | blob | commitdiff | raw | diff to current |
2009-06-16 | Enrico Tassi | first proof reconstruction attempt, still bugged since it | blob | commitdiff | raw | diff to current |
2009-06-11 | denes | Active goals are now demodulated after selecting a... | blob | commitdiff | raw | diff to current |
2009-06-09 | Enrico Tassi | snaphost: supright almost done | blob | commitdiff | raw | diff to current |
2009-06-05 | denes | First tests for paramodulation (pretty printer, unifica... | blob | commitdiff | raw | diff to current |