]>
2007-05-17 | Enrico Tassi | added a (for the moment) dummy field _subst to Proofeng... | blob | commitdiff | raw |
2007-05-01 | Ferruccio Guidi | SubstTactic: bug fix | blob | commitdiff | raw | diff to current |
2007-04-28 | Ferruccio Guidi | AMBDA-TYPES: some improvements. subst now fully exploited | blob | commitdiff | raw | diff to current |
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 |