Literature/newtypes.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Tue, 07 Jun 2011 23:38:39 +0900 (2011-06-07)
changeset 2824 44d937e8ae78
parent 2379 764342676520
permissions -rw-r--r--
Proof of trans with invariant
(binary:application/pdf)