[nogin] Fixing image files that were corrupted by the CVS__SVN conversion _they were_ Tue Nov 7 12:27:47 PST 2006 http://svn.metaprl.org/commitlogs/metaprl/2006-11/2006-11-07-12-27-47-638986000-PST.html http://svn.metaprl.org/commitlogs/metaprl/2006-11/2006-11-07-12-27-47-638986000-PST.html [yegor] connecting s4_prover with s4__lp realization algorithm_ Mon Nov 27 13:51:54 PST 2006 http://svn.metaprl.org/commitlogs/metaprl/2006-11/2006-11-27-13-51-54-550909000-PST.html http://svn.metaprl.org/commitlogs/metaprl/2006-11/2006-11-27-13-51-54-550909000-PST.html