Literature/newtypes.pdf
author Christian Urban <urbanc@in.tum.de>
Tue, 28 Jun 2011 00:48:57 +0100
changeset 2913 bc86f5c3bc65
parent 2379 764342676520
permissions -rw-r--r--
proved the fcb also for sets (no restriction yet)

(binary:application/pdf)