Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-26 10:35:27 -0800 (Mon, 26 Dec 2005)
Revision: 8366
Log message:

      Separate the "sloppy" lists from Itt_list3 into Itt_list_sloppy.
      The sloppy lists are not used anymore.
      

Changes  Path
+1 -0 metaprl/theories/itt/extensions/base/OMakefile
+8 -292 metaprl/theories/itt/extensions/base/itt_list3.ml
+0 -21 metaprl/theories/itt/extensions/base/itt_list3.mli
+587 -9644 metaprl/theories/itt/extensions/base/itt_list3.prla
Copied metaprl/theories/itt/extensions/base/itt_list_sloppy.ml
+361 -0 metaprl/theories/itt/extensions/base/itt_list_sloppy.ml
Copied metaprl/theories/itt/extensions/base/itt_list_sloppy.mli
+56 -0 metaprl/theories/itt/extensions/base/itt_list_sloppy.mli
Copied metaprl/theories/itt/extensions/base/itt_list_sloppy.prla
+15462 -0 metaprl/theories/itt/extensions/base/itt_list_sloppy.prla
+1 -0 metaprl/theories/itt/extensions/vector/itt_vec_sequent_term.ml