]> matita.cs.unibo.it Git - helm.git/commit
Modified filtering function
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Tue, 13 Jul 2004 08:35:28 +0000 (08:35 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Tue, 13 Jul 2004 08:35:28 +0000 (08:35 +0000)
commit6c3a5a7adc3f37ddfb99a69b050fbf324e95e583
tree5b55469c1ec3ea2f8b77f8e33d2961b8ddb99657
parent13b68fb0980e89bd58536f1c56f89241ed1f6ac7
Modified filtering function
helm/ocaml/tactics/filter_auto.ml
helm/ocaml/tactics/filter_auto.mli
helm/ocaml/tactics/newConstraints.ml
helm/ocaml/tactics/newConstraints.mli
helm/ocaml/tactics/tacticChaser.ml