]>
2004-03-12 | acerioni | New tactic Auto. | blob | commitdiff | raw |
2003-09-23 | Claudio Sacerdoti... | ProofEngine.proof is now an abstract data type (since... | blob | commitdiff | raw | diff to current |
2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |
2002-10-17 | Enrico Tassi | - rewritesimpl_tac added in fourierR.ml (wrong location) | blob | commitdiff | raw | diff to current |
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 |