Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-24 17:25:43 -0700 (Fri, 24 Oct 2003)
Revision: 5038
Log message:

      Some more clean-up.
      

Changes	Path
+17 -39	metaprl/theories/itt/itt_int_arith.ml
+1 -1	metaprl/util/check-status
+8 -2	metaprl/util/check-status.sh