Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-30 20:07:20 -0700 (Wed, 30 Jun 2004)
Revision: 6034
Log message:

      Added rudimentary support for displaying sequents with <>1 conclusions.
      For now only 0-concl and 1-concl actually have display forms for them
      (the rest will fall back to the Simple_print code). The problem, of course,
      is that we do not have any meta-variables for variable-length sequences of
      conclusions.
      

Changes	Path
+43 -39	metaprl/refiner/reflib/term_match_table.ml
+30 -17	metaprl/support/display/base_dform.ml