Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-02 15:31:58 -0700 (Sat, 02 Jul 2005)
Revision: 7542
Log message:

      started to work on S4 part in jprover
      

Changes	Path
+3 -0	metaprl-branches/S4-jprover/editor/ml/nuprl_jprover.ml
+78 -19	metaprl-branches/S4-jprover/refiner/reflib/jall.ml
+4 -1	metaprl-branches/S4-jprover/refiner/reflib/jlogic_sig.ml
+4 -3	metaprl-branches/S4-jprover/refiner/reflib/jtypes.ml
+3 -0	metaprl-branches/S4-jprover/theories/itt/itt_logic.ml