Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-23 18:02:46 -0800 (Sun, 23 Mar 2003)
Revision: 4224
Log message:

      "subgoals" debug variable added.
      

Changes  Path
+14 -4 metaprl/theories/itt/itt_int_arith.ml