Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-06 23:02:20 -0800 (Sun, 06 Feb 2005)
Revision: 6617
Log message:

      My previos changes would not actually compile, fixing.
      (Omake told me that they've compiled, but it was a lie! See bug 403).
      

Changes  Path
+1 -1 metaprl-branches/opname_classes4/theories/itt/itt_int_base.ml
+1 -1 metaprl-branches/opname_classes4/theories/itt/itt_nat.ml
+2 -2 metaprl-branches/opname_classes4/theories/itt/itt_rfun.ml
+1 -1 metaprl-branches/opname_classes4/theories/itt/itt_rfun.mli