projects / helm.git / search
| 2002-11-29 | Enrico Tassi | bug in hypotesis parsing solved |
commit | commitdiff | tree |
| 2002-11-26 | Enrico Tassi | comments in fourier.ml now are in ocamldoc style |
commit | commitdiff | tree |
| 2002-11-20 | Enrico Tassi | - removed: cut_tac False to demostrate False |
commit | commitdiff | tree |
| 2002-11-11 | Enrico Tassi | An old bug in 'eqT' hipotesys solved |
commit | commitdiff | tree |
| 2002-10-02 | Enrico Tassi | tactic update |
commit | commitdiff | tree |
| 2002-09-19 | Enrico Tassi | Tactic update |
commit | commitdiff | tree |
| 2002-09-18 | Enrico Tassi | Tactic update |
commit | commitdiff | tree |
| 2002-09-13 | Enrico Tassi | Fourier tactic update |
commit | commitdiff | tree |
| 2002-09-09 | Enrico Tassi | Fourier tactic update |
commit | commitdiff | tree |
| 2002-09-07 | Enrico Tassi | First works |
commit | commitdiff | tree |
| 2002-09-04 | Enrico Tassi | Fourier tactic |
commit | commitdiff | tree |