Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-07 19:56:45 -0800 (Sun, 07 Dec 2003)
Revision: 5159
Log message:
1.Major (?) change in label-dependent tacticals semantics
(thenMT, thenAT, thenPT, thenET, onAllMHypsT, tryOnAllMHypsT.
Now they respect local assignments of labels rather than labels inherited
from above.
2.This implementation moved from itt_int_arith.
3.onAllCumulativeHypsT, onAllMCumulativeHypsT, tryOnAllCumulativeHypsT,
tryOnAllMCumulativeHypsT added. They also consider goals added during
their execution.
4.I didn't change thenLabLT, thenMLT and thenALT because they are not used
anywhere (as far as I can tell) and change in their semantics is not that
straightforward. I suggest to remove them at all.