Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2006-04-04 14:34:53 -0700 (Tue, 04 Apr 2006)
Revision: 9020
Log message:

      Updated the proof with Aleksey's improved forwardT implementation.
      

Changes  Path
+4264 -2298 metaprl/theories/poplmark/naive/pmn_core_terms_test.prla