]>
2009-06-15 | Enrico Tassi | EXPERIMENTAL COMMIT (by CSC,actuall :-) | blob | commitdiff | raw |
2009-06-05 | denes | First tests for paramodulation (pretty printer, unifica... | blob | commitdiff | raw | diff to current |
2009-06-03 | Claudio Sacerdoti... | New test for NG notation. | blob | commitdiff | raw | diff to current |
2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | blob | commitdiff | raw | diff to current |
2009-05-11 | Claudio Sacerdoti... | Some experiments in generation of elimination principles. | blob | commitdiff | raw | diff to current |
2009-03-26 | Enrico Tassi | new apply almost there | blob | commitdiff | raw | diff to current |
2008-03-19 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | blob | commitdiff | raw | diff to current |