Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-23 21:06:00 -0700 (Sun, 23 May 2004)
Revision: 5812
Log message:

      Tiny bugfix: reduce_cmp_lexi had incorrect base case.
      

Changes  Path
+1 -1 metaprl/theories/itt/itt_mpoly2.ml