Literature/core-has.pdf
author Christian Urban <urbanc@in.tum.de>
Tue, 06 Apr 2010 23:33:40 +0200 (2010-04-06)
changeset 1777 4f41a0884b22
parent 1772 48c2eb84d5ce
permissions -rw-r--r--
isarfied proof about existence of a permutation list
(binary:application/pdf)