Literature/newtypes.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Fri, 24 Jun 2011 10:12:47 +0900
changeset 2892 a9f3600c9ae6
parent 2379 764342676520
permissions -rw-r--r--
Speed-up the completeness proof.

(binary:application/pdf)