Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-12-09 22:45:54 -0800 (Thu, 09 Dec 2004)
with this commit [try]onAll[M][Cumulative]HypsT, onSomeHypT and
onAllMClausesOfAssumT skip contexts automatically.
As far as I understand this commit didn't affect any proofs.
It's possible that now some occurences of tryOnAll... can be replaced with