Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-10-08 21:30:09 -0700 (Wed, 08 Oct 2003)
Revision: 4958
Log message:

      Complicated pattern in LHS of define beq_rat caused a runtime error. Switched to declare+rewrite.
      

Changes	Path
+7 -3	metaprl/theories/itt/itt_rat.ml
+3 -2	metaprl/theories/itt/itt_rat.mli