Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-05-21 19:23:24 -0700 (Sat, 21 May 2005) Revision: 7311 Log message:
Finished the Vector HOAS proofs. Added a limited form of "third order" rewriting to substT.