Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-12 21:12:18 -0800 (Wed, 12 Jan 2005)
Revision: 6394
Log message:

      Imporved the display of sequents that is used in the absense of other dforms
      (as it is the case in the filter binaries). This should make error messages
      generated by the filter a bit nicer.
      

Changes  Path
+29 -14 metaprl/refiner/reflib/dform.ml