Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-02-16 15:34:55 -0800 (Wed, 16 Feb 2005)
Revision: 6695
Log message:

      Changed list{top} back to list upon Aleksey's request.
      

Changes	Path
+59 -59	metaprl/theories/itt/itt_list2.ml
+3060 -2928	metaprl/theories/itt/itt_list2.prla