]>
2010-02-02 | Wilmer Ricciotti | Added Streicher's K axiom. | blob | commitdiff | raw |
2010-01-18 | Claudio Sacerdoti... | // in place of nauto everywhere | blob | commitdiff | raw | diff to current |
2009-11-17 | Wilmer Ricciotti | ndestruct tactic: mainly bugfixes; the algorithm isn... | blob | commitdiff | raw | diff to current |
2009-11-16 | Wilmer Ricciotti | Implementation of ndestruct tactic (including destructi... | blob | commitdiff | raw | diff to current |
2009-10-22 | Enrico Tassi | new instantiate, only known bug is w.r.t. in/out scope... | blob | commitdiff | raw | diff to current |
2009-10-16 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2009-10-13 | Wilmer Ricciotti | Experimental scripts for nth-order rewriting principles. | blob | commitdiff | raw | diff to current |