Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-02-05 11:35:56 -0800 (Sun, 05 Feb 2006)
Revision: 8629
Log message:

      Preparing to move "append sequents" to obsolete status.
      

Changes  Path
+1 -0 metaprl/theories/itt/extensions/vector/MetaprlInfo
+1 -1 metaprl/theories/itt/extensions/vector/itt_vec_flat_bind.ml
+1080 -838 metaprl/theories/itt/extensions/vector/itt_vec_flat_bind.prla
+206 -17 metaprl/theories/itt/extensions/vector/itt_vec_flat_sequent_term.ml
+5033 -2061 metaprl/theories/itt/extensions/vector/itt_vec_flat_sequent_term.prla
Added metaprl/theories/itt/extensions/vector/itt_vec_list2.ml
Properties metaprl/theories/itt/extensions/vector/itt_vec_list2.ml
Added metaprl/theories/itt/extensions/vector/itt_vec_list2.mli
Properties metaprl/theories/itt/extensions/vector/itt_vec_list2.mli
Added metaprl/theories/itt/extensions/vector/itt_vec_list2.prla
Properties metaprl/theories/itt/extensions/vector/itt_vec_list2.prla
+37 -31 metaprl/theories/meta/extensions/meta_context_ind1.ml