Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-28 17:03:08 -0700 (Thu, 28 Jul 2005)
Revision: 7666
Log message:
S4-to-LP realization compiles but definitely does not work yet.
(that's for implicative fragment only)