]> matita.cs.unibo.it Git - helm.git/commit
* ElimSimplIntros replace by ElimIntrosSimpl. Simplification is performed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Dec 2002 10:53:29 +0000 (10:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Dec 2002 10:53:29 +0000 (10:53 +0000)
commit81cc12ae4ebd9741585b38f41c7fb5eb6c5ae916
tree21047ea7271023400ee6eb013a8803afe0aacf88
parent6d75318bbd618ea0ecb764d15ef23b0914a50b1e
* ElimSimplIntros replace by ElimIntrosSimpl. Simplification is performed
  only in the conclusion and not (yet) on the hypothesis.
helm/gTopLevel/primitiveTactics.ml
helm/gTopLevel/primitiveTactics.mli
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/proofEngine.mli
helm/gTopLevel/variousTactics.ml