Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2006-06-03 11:04:22 -0700 (Sat, 03 Jun 2006)
Revision: 9251
Log message:
Simplify a proof
| Changes | Path |
| +36 -0 | metaprl/theories/poplmark/naive/reflect_pmn_core_logic_test2.ml |
| +1445 -902 | metaprl/theories/poplmark/naive/reflect_pmn_core_logic_test2.prla |