Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-08-01 07:21:41 -0700 (Wed, 01 Aug 2001)
Revision: 3353
Log message:

      Forgot to commit the proofs.
      

Changes  Path
+6688 -5280 metaprl/theories/itt/itt_int_base.prla