]> matita.cs.unibo.it Git - helm.git/commit
Automation enabled for declarative proofs. Cool.
authormaiorino <??>
Thu, 27 Jul 2006 16:45:53 +0000 (16:45 +0000)
committermaiorino <??>
Thu, 27 Jul 2006 16:45:53 +0000 (16:45 +0000)
commit9d5de2f3f3a8921397b939ce2143b22aa71959ea
treeba70c3c64860c0d65869c4f533739d787f0428be
parent27ebdab06ba308c431669b58a46fc0bb12c8c72e
Automation enabled for declarative proofs. Cool.
components/grafite_engine/grafiteEngine.ml
components/tactics/declarative.ml
components/tactics/declarative.mli
matita/tests/decl.ma