Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-11-16 05:19:54 -0800 (Wed, 16 Nov 2005)
Revision: 8190
Log message:

      The .prla got corrupted. :-( Committing it again.
      

Changes  Path
+306 -533 metaprl/theories/itt/core/itt_nat.prla