]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ce3527) | patch
First implementation of the Auto tactic.
authoracerioni <??>
Fri, 12 Mar 2004 09:54:38 +0000 (09:54 +0000)
committeracerioni <??>
Fri, 12 Mar 2004 09:54:38 +0000 (09:54 +0000)
commitf654787b2156ede958a1d35ca8daf239de1b7b89
tree8b7b2085e35aef3cc7e2a33d7c4567c177ba4c84tree | snapshot
parent5ce3527a194c90e1c4c9073afbb3863412304048commit | diff
First implementation of the Auto tactic.
- tacticChaser: added a function to locate all the theorem tha can be applied
- variousTactics: the Auto tactic
helm/ocaml/tactics/.depend diff | blob | history
helm/ocaml/tactics/Makefile diff | blob | history
helm/ocaml/tactics/tacticChaser.ml diff | blob | history
helm/ocaml/tactics/tacticChaser.mli diff | blob | history
helm/ocaml/tactics/variousTactics.ml diff | blob | history
helm/ocaml/tactics/variousTactics.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.