Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-17 14:26:37 -0700 (Mon, 17 May 2004)
Revision: 5785
Log message:

      removed timingT
      

Changes  Path
+356 -325 metaprl/theories/itt/itt_mpoly.prla