Literature/core-has-tech-rep.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Tue, 31 May 2011 12:54:21 +0900
changeset 2791 5d0875b7ed3e
parent 1772 48c2eb84d5ce
permissions -rw-r--r--
Simple eqvt proofs with perm_simps for clarity

(binary:application/pdf)