Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-15 19:49:24 -0800 (Tue, 15 Feb 2005)
Revision: 6681
Log message:

      Fixed gcd and beq_rat definitions
      

Changes	Path
+16 -16	metaprl/theories/itt/itt_rat.ml
+1 -0	metaprl/theories/itt/itt_rat.mli
+9815 -8000	metaprl/theories/itt/itt_rat.prla