core-has.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Wed, 24 Feb 2010 12:06:55 +0100 (2010-02-24)
changeset 1244 605a0ebe87da
parent 1081 11895d5e3d49
permissions -rw-r--r--
Regularize the proofs about finite support.
(binary:application/pdf)