Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-22 09:22:43 -0800 (Sat, 22 Mar 2003)
Revision: 4214
Log message:

      Forgot two important branches.
      For some reason "export" raises "Not found" exception so I deleted previous
      .prla file before exporting.
      

Changes  Path
+9196 -8593 metaprl/theories/itt/itt_nat.prla