Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-24 21:41:30 -0800 (Sat, 24 Jan 2004)
Revision: 5274
Log message:

      Added rat{'a;'b} wrapper for ('a,'b) (stands for a/b), I think it's better than just plain ('a,'b).
      
      Do you think "rat" is ok or it does not sound good and I'd better use "ratio"?
      

Changes	Path
+37 -29	metaprl/theories/itt/itt_rat.ml
+2 -0	metaprl/theories/itt/itt_rat.mli
+4583 -2764	metaprl/theories/itt/itt_rat.prla