Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-11-03 21:35:59 -0800 (Thu, 03 Nov 2005)
Revision: 8091
Log message:

      Added ty_exp_elim_slow for testing purposes.
      

Changes  Path
+10 -0 metaprl/theories/poplmark/naive/pmn_core_terms.ml
+574 -463 metaprl/theories/poplmark/naive/pmn_core_terms.prla