Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-10-08 19:17:59 -0700 (Fri, 08 Oct 2004)
Revision: 6223
Log message:

      Forgot .prla
      

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