Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2000-09-11 05:58:47 -0700 (Mon, 11 Sep 2000)
Revision: 3060
Log message:

      First compilable version
      

Changes	Path
Added	metaprl/theories/itt/itt_int_bool_new.ml
Properties	metaprl/theories/itt/itt_int_bool_new.ml
Added	metaprl/theories/itt/itt_int_bool_new.mli
Properties	metaprl/theories/itt/itt_int_bool_new.mli