Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-08 17:01:40 -0800 (Thu, 08 Dec 2005)
Revision: 8269
Log message:

      Re-investigating the list_of_fun representation.
      

Changes  Path
+1 -0 metaprl/theories/itt/extensions/vector/OMakefile
Copied metaprl/theories/itt/extensions/vector/itt_vec_sequent_term1.ml
+164 -0 metaprl/theories/itt/extensions/vector/itt_vec_sequent_term1.ml
Copied metaprl/theories/itt/extensions/vector/itt_vec_sequent_term1.mli
+44 -0 metaprl/theories/itt/extensions/vector/itt_vec_sequent_term1.mli
Copied metaprl/theories/itt/extensions/vector/itt_vec_sequent_term1.prla
+7914 -0 metaprl/theories/itt/extensions/vector/itt_vec_sequent_term1.prla