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

      Moved append/flat sequents into theories/itt/reflection/obsolete_flat
      

Changes  Path
Properties metaprl/theories/itt/extensions/vector
+0 -3 metaprl/theories/itt/extensions/vector/MetaprlInfo
Deleted metaprl/theories/itt/extensions/vector/itt_vec_flat_bind.ml
Deleted metaprl/theories/itt/extensions/vector/itt_vec_flat_bind.mli
Deleted metaprl/theories/itt/extensions/vector/itt_vec_flat_bind.prla
Deleted metaprl/theories/itt/extensions/vector/itt_vec_flat_sequent_term.ml
Deleted metaprl/theories/itt/extensions/vector/itt_vec_flat_sequent_term.mli
Deleted metaprl/theories/itt/extensions/vector/itt_vec_flat_sequent_term.prla
Deleted metaprl/theories/itt/extensions/vector/itt_vec_list2.ml
Deleted metaprl/theories/itt/extensions/vector/itt_vec_list2.mli
Deleted metaprl/theories/itt/extensions/vector/itt_vec_list2.prla
Copied metaprl/theories/itt/reflection/obsolete_flat/itt_vec_flat_bind.ml
Copied metaprl/theories/itt/reflection/obsolete_flat/itt_vec_flat_bind.mli
Copied metaprl/theories/itt/reflection/obsolete_flat/itt_vec_flat_bind.prla
Copied metaprl/theories/itt/reflection/obsolete_flat/itt_vec_flat_sequent_term.ml
Copied metaprl/theories/itt/reflection/obsolete_flat/itt_vec_flat_sequent_term.mli
Copied metaprl/theories/itt/reflection/obsolete_flat/itt_vec_flat_sequent_term.prla
Copied metaprl/theories/itt/reflection/obsolete_flat/itt_vec_list2.ml
Copied metaprl/theories/itt/reflection/obsolete_flat/itt_vec_list2.mli
Copied metaprl/theories/itt/reflection/obsolete_flat/itt_vec_list2.prla