Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-10-09 20:57:16 -0700 (Sat, 09 Oct 2004)
Revision: 6225
Log message:

      Replaced quotient-based definition with subset-based.
      It does not normalizes rational number representation after each operation yet.
      I commit it because I think I found a bug in the rewriter.
      

Changes	Path
+273 -387	metaprl/theories/itt/itt_rat.ml
+71 -53	metaprl/theories/itt/itt_rat.mli
+7714 -11523	metaprl/theories/itt/itt_rat.prla