Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2006-04-02 00:10:31 -0800 (Sun, 02 Apr 2006)
Revision: 8992
Log message:

      Fully proved the test rule in Pmn_core_terms_test.