Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-21 20:11:34 -0800 (Mon, 21 Feb 2005)
Revision: 6743
Log message:

      Proofs for the paper benchmark.
      

Changes	Path
Added	metaprl/theories/itt/itt_int_bench3.prla
Properties	metaprl/theories/itt/itt_int_bench3.prla