]>
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-20 | Claudio Sacerdoti... | change code moved to change_tac (functional version... | blob | commitdiff | raw | diff to current |
2002-09-04 | Enrico Tassi | Fourier tactic | blob | commitdiff | raw | diff to current |
2002-07-22 | Claudio Sacerdoti... | Many improvements in tactics (and tactical) representation: | blob | commitdiff | raw | diff to current |
2002-07-01 | Stefano Zacchiroli | - added Ring tactic on reals | blob | commitdiff | raw | diff to current |