]>
2009-03-05 | Claudio Sacerdoti... | New version: only new nodes are normalized; moreover... | blob | commitdiff | raw |
2009-03-02 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-03-02 | Claudio Sacerdoti... | Old algorithm moved to old to leave place to the new... | blob | commitdiff | raw |
2007-05-24 | Claudio Sacerdoti... | All known bugs fixed. | blob | commitdiff | raw | diff to current |
2007-05-23 | Claudio Sacerdoti... | Automatic exploration of the theory of intuitionistic... | blob | commitdiff | raw | diff to current |