]>
2007-11-12 | Ferruccio Guidi | - destruct tactic: automatic simplification in case... | blob | commitdiff | raw |
2007-10-28 | Claudio Sacerdoti... | New syntax for match patterns. | blob | commitdiff | raw | diff to current |
2007-09-09 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2007-05-24 | Enrico Tassi | auto and autogui... some work | 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-16 | Enrico Tassi | closed all axioms | blob | commitdiff | raw | diff to current |
2007-04-10 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |