Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-05 06:19:29 -0800 (Mon, 05 Mar 2001)
Revision: 3170
Log message:

      Just a begining of lt_mulPositMono proof
      

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