Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2006-03-09 14:56:29 -0800 (Thu, 09 Mar 2006)
Revision: 8865
Log message:

      Somehow, my previous commit can compile on my machine, but is uncomplilable by the cron. Try if this works.
      

Changes  Path
+4809 -4809 metaprl/theories/poplmark/naive/reflect_pmn_core_terms.prla