]> matita.cs.unibo.it Git - helm.git/history - matita/contribs/prova.ma
- tactics:
[helm.git] / matita / contribs / prova.ma
2006-12-29 Ferruccio Guidi- tactics:
2006-12-20 Ferruccio GuidiProcedural: method "Apply" ok in forward style
2006-12-19 Ferruccio GuidiProcedural: "ByInduction" method ok
2006-12-18 Ferruccio GuidiProcedural: some improvements
2006-12-14 Ferruccio Guidicontent2Procedural.ml: "Intros+LetTac" ok
2006-12-13 Ferruccio Guidi- transcript: patched to generate aliases instead of...
2006-12-01 Ferruccio Guidiprova.ma: baseuri fixed
2006-08-29 Ferruccio Guidi- new tactic subst removes simple non recursive equalit...
2006-08-29 Ferruccio Guiditest file with some bugs