Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-04 18:58:35 -0700 (Mon, 04 Jul 2005)
Revision: 7557
Log message:

      Merging S4-prover to the main trunk
      

Changes	Path
+3 -0	metaprl/editor/ml/nuprl_jprover.ml
+540 -253	metaprl/refiner/reflib/jall.ml
+4 -1	metaprl/refiner/reflib/jlogic_sig.ml
+57 -14	metaprl/refiner/reflib/jordering.ml
+38 -37	metaprl/refiner/reflib/jtunify.ml
+8 -4	metaprl/refiner/reflib/jtunify.mli
+4 -3	metaprl/refiner/reflib/jtypes.ml
+3 -0	metaprl/theories/itt/itt_logic.ml
Properties	metaprl/theories/s4lp
Added	metaprl/theories/s4lp/OMakefile
Properties	metaprl/theories/s4lp/OMakefile
Added	metaprl/theories/s4lp/s4_logic.ml
Properties	metaprl/theories/s4lp/s4_logic.ml
Added	metaprl/theories/s4lp/s4_logic.mli
Properties	metaprl/theories/s4lp/s4_logic.mli
Added	metaprl/theories/s4lp/s4_logic.prla
Properties	metaprl/theories/s4lp/s4_logic.prla