Literature/newtypes.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Thu, 09 Jun 2011 15:03:58 +0900
changeset 2840 177a32a4f289
parent 2379 764342676520
permissions -rw-r--r--
Minor simplification

(binary:application/pdf)