]>
2009-04-28 | Enrico Tassi | huge commit in automation: | blob | commitdiff | raw |
2008-09-22 | Enrico Tassi | fixed auto invocation | blob | commitdiff | raw | diff to current |
2008-06-09 | Claudio Sacerdoti... | Most of the time, URIs can now be replaced with identif... | blob | commitdiff | raw | diff to current |
2008-06-08 | Claudio Sacerdoti... | generalize no more useful for elim | blob | commitdiff | raw | diff to current |
2008-04-02 | Enrico Tassi | fixed according to the new rewrite semantics (fails... | blob | commitdiff | raw | diff to current |
2007-05-24 | Enrico Tassi | auto and autogui... some work | blob | commitdiff | raw | diff to current |
2007-05-17 | Enrico Tassi | auto rewritten with only one tail recursive function. | blob | commitdiff | raw | diff to current |
2007-04-16 | Enrico Tassi | closed all axioms | blob | commitdiff | raw | diff to current |
2007-04-10 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |