]>
2002-12-03 | Michele Galatà | Added new tactics: Exists, Split, Assumption, Absurd... | blob | commitdiff | raw |
2002-10-25 | no author | This commit was manufactured by cvs2svn to create branch | blob | commitdiff | raw | diff to current |
2002-10-09 | no author | This commit was manufactured by cvs2svn to create branch | blob | commitdiff | raw |
2002-09-04 | Enrico Tassi | Fourier tactic | blob | commitdiff | raw | diff to current |