Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2000-10-10 22:28:11 -0700 (Tue, 10 Oct 2000)
Revision: 3084
Log message:

      A couple of rewrites turn from primitive to interative
      

Changes	Path
+4 -0	metaprl/theories/itt/itt_int_base.ml
+3 -0	metaprl/theories/itt/itt_int_base.mli
+2 -2	metaprl/theories/itt/itt_int_ext.ml