Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-09-18 16:06:21 -0700 (Sun, 18 Sep 2005)
Revision: 7715
Log message:

      Added "listmem_set".
      

Changes	Path
+31 -0	metaprl/theories/itt/itt_list2.ml
+4 -0	metaprl/theories/itt/itt_list2.mli
+10753 -10838	metaprl/theories/itt/itt_list2.prla