Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2000-09-12 00:56:23 -0700 (Tue, 12 Sep 2000)
Revision: 3061
Log message:

      itt_int_bool_new was split into itt_int_base (beq_int, lt_bool, lt, add, uni_minus, sub, int, ind, number)
      and itt_int_ext (ge_bool, le_bool, gt_bool, ge, le, gt, mul, div, rem)
      

Changes	Path
Added	metaprl/theories/itt/itt_int_base.ml
Properties	metaprl/theories/itt/itt_int_base.ml
Added	metaprl/theories/itt/itt_int_base.mli
Properties	metaprl/theories/itt/itt_int_base.mli
Added	metaprl/theories/itt/itt_int_ext.ml
Properties	metaprl/theories/itt/itt_int_ext.ml
Added	metaprl/theories/itt/itt_int_ext.mli
Properties	metaprl/theories/itt/itt_int_ext.mli