Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-02 19:53:00 -0700 (Sat, 02 Jul 2005)
Revision: 7543
Log message:

      added support for multi-conclusion sequents but there's a lot of work for the other side of the interface
      

Changes	Path
+58 -35	metaprl-branches/S4-jprover/refiner/reflib/jall.ml