Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2000-12-13 04:04:15 -0800 (Wed, 13 Dec 2000)
Revision: 3091
Log message:

      Moved from old style conditional rewrites to rules with '~' operator instead of '<-->'.
      Just now all reduce resources are commented out.
      

Changes	Path
+56 -55	metaprl/theories/itt/itt_int_base.ml
+58 -70	metaprl/theories/itt/itt_int_base.mli
+81 -78	metaprl/theories/itt/itt_int_ext.ml
+71 -83	metaprl/theories/itt/itt_int_ext.mli