]>
2007-03-16 | Ferruccio Guidi | elim tactic: it needs two arguments, a term as well... | blob | commitdiff | raw |
2007-03-11 | Ferruccio Guidi | case to elim conversion works fine | blob | commitdiff | raw | diff to current |
2007-03-09 | Ferruccio Guidi | Procedural: 2 bug fix in eta expansion + 1 bug fix... | blob | commitdiff | raw | diff to current |
2007-03-08 | Ferruccio Guidi | some improvements | blob | commitdiff | raw | diff to current |
2007-03-07 | Ferruccio Guidi | Procedural: bug fix | blob | commitdiff | raw | diff to current |
2007-03-07 | Ferruccio Guidi | Relational: one file was missing :-) | blob | commitdiff | raw | diff to current |