]> 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)
commitd348c454be6bae89169ed2948067e62e33f62bd8
tree7a49af299c277b6278ad5e21eb3c5d00009f3a86
parent7e045cc47959182c5a84061bf669bdc5a29431c6
Automation enabled for declarative proofs. Cool.
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/tactics/declarative.ml
helm/software/components/tactics/declarative.mli
helm/software/matita/tests/decl.ma