]> matita.cs.unibo.it Git - helm.git/commit
1. Added a callback to the generalize tactic to generate a fresh name.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 29 Jan 2003 17:03:27 +0000 (17:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 29 Jan 2003 17:03:27 +0000 (17:03 +0000)
commit6bccccbe78dd8ca020038c0d7a901cd5b129fd03
tree2a8deca19fd63d84174776e7d42afe6776253661
parent26ba7a9eb493528432f73b990eb7e9c17f16e1b8
1. Added a callback to the generalize tactic to generate a fresh name.
2. Dead code removal in various files.
helm/ocaml/tactics/equalityTactics.ml
helm/ocaml/tactics/fourierR.ml
helm/ocaml/tactics/variousTactics.ml
helm/ocaml/tactics/variousTactics.mli