Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-16 19:38:17 -0800 (Wed, 16 Feb 2005)
Revision: 6700
Log message:

      Make Itt_list2!list an I/O abstraction for list{top}. Note - because of bug
      405, I/O abstractions can not be used on the command line yet.
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_list2.ml
+6 -0	metaprl/theories/itt/itt_list2.mli
+2928 -3060	metaprl/theories/itt/itt_list2.prla