]>
2009-04-16 | Claudio Sacerdoti... | Added ppterm. | blob | commitdiff | raw |
2009-04-14 | Claudio Sacerdoti... | New debugging tactic nassert: | blob | commitdiff | raw | diff to current |
2009-04-09 | Enrico Tassi | - change implemented in 4 lines | blob | commitdiff | raw | diff to current |
2009-04-09 | Enrico Tassi | - generalize finished | blob | commitdiff | raw | diff to current |
2009-04-08 | Enrico Tassi | generalized is half-implemented (still broken) | blob | commitdiff | raw | diff to current |
2009-04-08 | Enrico Tassi | Analizyng the inductive type of the eliminated term and | blob | commitdiff | raw | diff to current |
2009-04-06 | Enrico Tassi | tactic cases works! delift clears tags | blob | commitdiff | raw | diff to current |
2009-04-06 | Enrico Tassi | unification: | blob | commitdiff | raw | diff to current |
2009-04-02 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2009-04-02 | Enrico Tassi | New file nTacStatus to: | blob | commitdiff | raw | diff to current |