]> matita.cs.unibo.it Git - helm.git/history - components/tactics/declarative.ml
Declarative tactics for rewriting steps, elimination of the existential
[helm.git] / components / tactics / declarative.ml
2006-07-27 maiorinoDeclarative tactics for rewriting steps, elimination...
2006-07-27 maiorinoNew declarative commands (ast, pretty-printing and...
2006-07-12 Claudio Sacerdoti... Missing copyright added to tactics/declarative.ml*
2006-07-11 maiorinoFirst experimental version of the declarative proof...