Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-08 16:35:31 -0700 (Tue, 08 Apr 2003)
Revision: 4403
Log message:

      - Added a "raw" display form mode that is _guaranteed_ not to have any display
      forms (unfortunatelly the "src" mode has a lot of stuff that is not supposed
      to be there!). To use, do
      cd "/";; set_dfmode "raw";;
      in toploop.
      - Updated the Simple_print module to use the new syntax for sequents.
      

Changes	Path
+9 -6	metaprl/refiner/reflib/dform_print.ml
+3 -3	metaprl/refiner/reflib/simple_print.ml