Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-08-14 07:04:59 -0700 (Thu, 14 Aug 2008)
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
|Changes||Path(relative to metaprl/theories/s4lp)|