Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-01 22:21:05 -0800 (Sun, 01 Feb 2004)
Revision: 5332
Log message:

      Some wf-goals are asserted to avoid re-proving them many times.
      

Changes	Path
+5 -0	metaprl/theories/itt/itt_rat.mli
+68 -18	metaprl/theories/itt/itt_supinf.ml