Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-11 23:37:48 -0800 (Sun, 11 Jan 2004)
Revision: 5244
Log message:

      Some more progress.
      At /itt_rat/ratEquality/1 if I apply "dT 0 twa" (or anything automatic after dT 0)
      metaprl does not terminate. Do resources allow non-terminating scenarios?
      

Changes	Path
+11 -5	metaprl/theories/itt/itt_rat.ml
+1 -0	metaprl/theories/itt/itt_rat.mli
+1336 -621	metaprl/theories/itt/itt_rat.prla