]>
2008-06-09 | Claudio Sacerdoti... | Most of the time, URIs can now be replaced with identif... | blob | commitdiff | raw |
2008-06-08 | Claudio Sacerdoti... | generalize no more useful for elim | blob | commitdiff | raw | diff to current |
2008-05-29 | Enrico Tassi | case not unfilding fixed | blob | commitdiff | raw | diff to current |
2008-03-26 | Wilmer Ricciotti | Reorganization of list library (step 1) | blob | commitdiff | raw | diff to current |
2007-11-12 | Ferruccio Guidi | - destruct tactic: automatic simplification in case... | blob | commitdiff | raw | diff to current |
2007-11-08 | Enrico Tassi | ported to the new destruct | blob | commitdiff | raw | diff to current |
2007-11-06 | Ferruccio Guidi | new implementation of the destruct tactic, | blob | commitdiff | raw | diff to current |
2007-04-18 | Enrico Tassi | more discriminate | blob | commitdiff | raw | diff to current |
2007-04-16 | Enrico Tassi | better simplify | blob | commitdiff | raw | diff to current |
2007-04-10 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |