Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-10 18:49:09 -0700 (Sun, 10 Oct 2004)
Revision: 6226
Log message:

      Sligthly nicer display from for spread.
      

Changes  Path
+3 -4 metaprl/theories/itt/itt_dprod.ml