Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-10-08 19:04:25 -0700 (Fri, 08 Oct 2004)
Revision: 6222
Log message:

      Working on rewrite-based normalization of terms (polynomials) over rationals.
      I actually have some problems that I'll post to the newsgroup.
      

Changes	Path
+184 -2	metaprl/theories/itt/itt_rat.ml
+16 -1	metaprl/theories/itt/itt_rat.mli
Added	metaprl/theories/itt/itt_rat2.ml
Properties	metaprl/theories/itt/itt_rat2.ml
Added	metaprl/theories/itt/itt_rat2.mli
Properties	metaprl/theories/itt/itt_rat2.mli