Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-11-03 22:16:24 -0800 (Thu, 03 Nov 2005)
Revision: 8094
Log message:

      Exploring the "this takes too long" example further. Simply running jproverT
      in /poplmark_naive/pmn_core_terms/ty_exp_elim_slow/1/1/1/1/1/2/2/1/1/1/1/2
      seems to take too long.
      

Changes  Path
+175 -145 metaprl/theories/poplmark/naive/pmn_core_terms.prla