Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-08-14 07:04:59 -0700 (Thu, 14 Aug 2008)
Revision: 13171
Log message:

      Realization for Wise Men and some formulations of Muddy Children (those that we tried) seems to work.
     The code has to be cleaned and may be a better interface has to be devised - currently it cannot reuse existing metaprl theorems - not only their proofs but even their statements