Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-15 22:05:36 -0700 (Tue, 15 Jul 2008)
Revision: 13126
Log message:

      Added AndRight rule and it exposed an error g2h code for BoxRight (lemma3 was implemented incorrectly and worked only for one hypothesis).
     fixed