Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-03 22:49:13 -0700 (Sun, 03 Jul 2005)
Revision: 7552
Log message:

      Gentzen style S4 and its connection with Jprover
      

Changes	Path
Added	metaprl-branches/S4-jprover/theories/s4lp/OMakefile
Properties	metaprl-branches/S4-jprover/theories/s4lp/OMakefile
Added	metaprl-branches/S4-jprover/theories/s4lp/s4_logic.ml
Properties	metaprl-branches/S4-jprover/theories/s4lp/s4_logic.ml
Added	metaprl-branches/S4-jprover/theories/s4lp/s4_logic.mli
Properties	metaprl-branches/S4-jprover/theories/s4lp/s4_logic.mli