]>
2006-11-29 | Ferruccio Guidi | - decompose tactic: decomposable constants are now... | blob | commitdiff | raw |
2006-11-15 | Ferruccio Guidi | transcript updated | blob | commitdiff | raw | diff to current |
2006-11-15 | Ferruccio Guidi | transcript: very alpha version. | blob | commitdiff | raw | diff to current |