Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-06-27 13:29:56 -0700 (Fri, 27 Jun 2008)
Revision: 13075
Log message:

      the first approximation of realization for propositional rules finished.