]>
2007-04-28 | Ferruccio Guidi | AMBDA-TYPES: some improvements. subst now fully exploited | blob | commitdiff | raw |
2007-04-26 | Ferruccio Guidi | bug fix in subst tactic | blob | commitdiff | raw | diff to current |
2007-04-16 | Ferruccio Guidi | subst tactic put in a file on its own | blob | commitdiff | raw | diff to current |