Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-11-07 12:27:47 -0800 (Tue, 07 Nov 2006)
Revision: 9726
Log message:

      Fixing image files that were corrupted by the CVS->SVN conversion (they were
      accidentally marked as svn:eol-style=native).
      

Changes by: Yegor N. Bryukhov (ybryukhov at gmail.com)
Date: 2006-11-27 13:51:54 -0800 (Mon, 27 Nov 2006)
Revision: 9781
Log message:

      connecting s4-prover with s4->lp realization algorithm