Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-08 23:42:09 -0800 (Tue, 08 Feb 2005)
Revision: 6640
Log message:

      Removed dark shadows  - they can only be used to disprove things.
      Added some heuristics from Pugh's paper, still more to add.
      Two alternative implementations of linear forms (splay trees and arrays),
      currently they are run simultaneously for debugging.
      (I hope everything is ok - it's too late to do check-status)
      

Changes	Path
+568 -36	metaprl/theories/itt/itt_omega.ml