]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/tactics/proofEngineStructuralRules.ml
s/List.find.../CicUtil.lookup_meta/
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2004 17:08:31 +0000 (17:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2004 17:08:31 +0000 (17:08 +0000)
commitf5b6be7239a35e1d0aba504605b5a0df5cf06726
treeab5d1d03d8e1c69b6e328c8206f367c74ea310e7
parentfb3367a180abd237b4096fe398178dd14b994f6d
s/List.find.../CicUtil.lookup_meta/
13 files changed:
helm/ocaml/tactics/discriminationTactics.ml
helm/ocaml/tactics/eliminationTactics.ml
helm/ocaml/tactics/equalityTactics.ml
helm/ocaml/tactics/fourierR.ml
helm/ocaml/tactics/introductionTactics.ml
helm/ocaml/tactics/negationTactics.ml
helm/ocaml/tactics/primitiveTactics.ml
helm/ocaml/tactics/proofEngineStructuralRules.ml
helm/ocaml/tactics/reductionTactics.ml
helm/ocaml/tactics/ring.ml
helm/ocaml/tactics/tacticChaser.ml
helm/ocaml/tactics/tacticals.ml
helm/ocaml/tactics/variousTactics.ml