Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-07-14 17:42:47 -0700 (Mon, 14 Jul 2008)
Revision: 13121
Log message:

      eliminated explicit references to axiom indices and arithmetic over them (where necessitation was needed)