]> matita.cs.unibo.it Git - helm.git/commit
All the declarative tactics now have a more or less bugged implementation.
authormaiorino <??>
Thu, 27 Jul 2006 15:52:31 +0000 (15:52 +0000)
committermaiorino <??>
Thu, 27 Jul 2006 15:52:31 +0000 (15:52 +0000)
commitbf71f28526258043857cc389adda5ce58fd236be
tree91585a1a97a9bb46573519c2220b11816151d403
parentbd277786d78d49594b3ada1c3c9c28cba5dc03b9
All the declarative tactics now have a more or less bugged implementation.
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/tactics/declarative.ml
helm/software/matita/tests/decl.ma