Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-02-16 02:11:01 -0800 (Wed, 16 Feb 2005)
Revision: 6690
Log message:

      The proofs in itt_list2 messed up due to the replacement of list{top} with list. Cleaned up and proved a few rules.
      

Changes	Path
+41 -35	metaprl/theories/itt/itt_list2.ml
+4472 -5287	metaprl/theories/itt/itt_list2.prla