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 |