Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-02-15 15:58:23 -0800 (Tue, 15 Feb 2005)
Revision: 6677
Log message:

      partial proof for all_list_wf
      

Changes  Path
+5611 -4038 metaprl/theories/itt/itt_list2.prla