projects / helm.git / search
| 2002-10-10 | Enrico Tassi | Added an example to test fourier_tac. |
commit | commitdiff | tree |
| 2002-10-10 | Enrico Tassi | Debug printing update, now the unification bug |
commit | commitdiff | tree |
| 2002-10-07 | Enrico Tassi | fourier_tac without useless recursion |
commit | commitdiff | tree |
| 2002-10-07 | Enrico Tassi | hopefully last tactic update cvs log |
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 |