Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-05-30 00:36:16 -0700 (Mon, 30 May 2005)
Revision: 7341
Log message:
more proofs
| Changes | Path |
| +125 -165 | metaprl/theories/itt/itt_hoas_debruijn.prla |
| +817 -776 | metaprl/theories/itt/itt_hoas_vector.prla |
| +7778 -8145 | metaprl/theories/itt/itt_squash.prla |