]>
2002-11-29 | Enrico Tassi | bug in hypotesis parsing solved | blob | commitdiff | raw |
2002-11-26 | Enrico Tassi | comments in fourier.ml now are in ocamldoc style | blob | commitdiff | raw | diff to current |
2002-10-02 | Enrico Tassi | tactic update | blob | commitdiff | raw | diff to current |
2002-09-04 | Enrico Tassi | Fourier tactic | blob | commitdiff | raw | diff to current |