projects / helm.git / search
| 2006-06-20 | Ferruccio Guidi | - added some documentation on the fwd tatcic |
commit | commitdiff | tree |
| 2006-06-19 | Ferruccio Guidi | axioms removed |
commit | commitdiff | tree |
| 2006-06-19 | Ferruccio Guidi | hack to allow (**) |
commit | commitdiff | tree |
| 2006-06-16 | Ferruccio Guidi | contribution on relational arithmetics started |
commit | commitdiff | tree |
| 2006-06-11 | Ferruccio Guidi | - slight fix in lapply syntax - Ferruccio Guidi is NOT a former member :) |
commit | commitdiff | tree |
| 2006-06-10 | Ferruccio Guidi | new documentation for the decompose tactic |
commit | commitdiff | tree |
| 2006-02-23 | Ferruccio Guidi | information on current compilation state added in each... |
commit | commitdiff | tree |
| 2006-02-20 | Ferruccio Guidi | class definition updated (but buggy now) |
commit | commitdiff | tree |