]>
2006-12-29 | Ferruccio Guidi | - tactics: | blob | commitdiff | raw |
2006-12-20 | Ferruccio Guidi | Procedural: method "Apply" ok in forward style | blob | commitdiff | raw | diff to current |
2006-12-19 | Ferruccio Guidi | Procedural: "ByInduction" method ok | blob | commitdiff | raw | diff to current |
2006-12-18 | Ferruccio Guidi | Procedural: some improvements | blob | commitdiff | raw | diff to current |
2006-12-14 | Ferruccio Guidi | content2Procedural.ml: "Intros+LetTac" ok | blob | commitdiff | raw | diff to current |
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 |