Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-08-13 21:23:46 -0700 (Sun, 13 Aug 2000)
Revision: 3046
Log message:

      Fixed the display form order - now the newer display form takes priority over
      an older one instead of the other way around. This make it possible to overwrite
      a standard display form with a theory-specific one (for example, itt_sort overwrites
      the display form for Itt_list!list_ind).
      

Changes  Path
+8 -6 metaprl/BUGS
+4 -1 metaprl/refiner/reflib/dform.ml
+4 -4 metaprl/theories/itt/itt_equal.ml