]>
2006-12-14 | Ferruccio Guidi | content2Procedural.ml: "Intros+LetTac" ok | blob | commitdiff | raw |
2006-12-13 | Ferruccio Guidi | - transcript: patched to generate aliases instead of... | blob | commitdiff | raw | diff to current |
2006-12-01 | Ferruccio Guidi | prova.ma: baseuri fixed | blob | commitdiff | raw | diff to current |
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 |