]>
2006-12-01 | Ferruccio Guidi | prova.ma: baseuri fixed | blob | commitdiff | raw |
2006-08-29 | Ferruccio Guidi | - new tactic subst removes simple non recursive equalit... | blob | commitdiff | raw | diff to current |
2006-08-29 | Ferruccio Guidi | test file with some bugs | blob | commitdiff | raw | diff to current |