]> matita.cs.unibo.it Git - helm.git/commit
* fold_tac has now a new parameter, which is the reduction to ``undo''
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Dec 2002 10:20:32 +0000 (10:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Dec 2002 10:20:32 +0000 (10:20 +0000)
commitba712be83ed64a934037e2310aa5bdef25e9d3b9
tree50bf32df424cc1037f61a451b5e28c214c1474e3
parent9597e7e79ce0606671f8aa170951d119419780ad
* fold_tac has now a new parameter, which is the reduction to ``undo''
* The Fold button is replaced with Fold_whd and Fold_reduce
* Minor interfaces modifications
helm/gTopLevel/fourierR.ml
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/proofEngine.mli
helm/gTopLevel/reductionTactics.ml
helm/gTopLevel/reductionTactics.mli