]>
2002-09-20 | Claudio Sacerdoti... | change code moved to change_tac (functional version... | blob | commitdiff | raw |
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 |