Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2004-05-31 20:04:40 -0700 (Mon, 31 May 2004)
Revision: 5841
Log message:

      Itt_list2: filled in a few proofs.
      Itt_nat: added a display form for nat_plus.
      

Changes	Path
+6019 -6805	metaprl/theories/itt/itt_list2.prla
+1 -0	metaprl/theories/itt/itt_nat.ml