Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-31 23:02:08 -0800 (Sat, 31 Jan 2004)
Revision: 5326
Log message:

      Covered almost everything - one case is not covered in "test",
      there is one verbose way to cover it but I'll try to make it more concise.
      

Changes	Path
+64 -11	metaprl/theories/itt/itt_supinf.ml