]>
2002-10-17 | Enrico Tassi | - rewritesimpl_tac added in fourierR.ml (wrong location) | blob | commitdiff | raw |
2002-10-11 | Claudio Sacerdoti... | New tactic rewrite implemented. | blob | commitdiff | raw | diff to current |
2002-09-04 | Enrico Tassi | Fourier tactic | blob | commitdiff | raw | diff to current |