Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-11 00:25:47 -0700 (Mon, 11 Jul 2005)
Revision: 7577
Log message:

      Groundwork for multi-modal S4.
      At this moment S4 is actualy broken, but at least ITT is not :)
      

Changes	Path
+36 -28	metaprl/refiner/reflib/jall.ml
+1 -1	metaprl/refiner/reflib/jlogic_sig.ml
+26 -3	metaprl/refiner/reflib/jordering.ml
+2 -2	metaprl/refiner/reflib/jtunify.ml
+5 -3	metaprl/refiner/reflib/jtypes.ml
+54 -88	metaprl/theories/s4lp/hilbert_internal.ml
Added	metaprl/theories/s4lp/s4_internal.ml
Properties	metaprl/theories/s4lp/s4_internal.ml
+28 -25	metaprl/theories/s4lp/s4_logic.ml
+3 -3	metaprl/theories/s4lp/s4_logic.mli