core-has.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Wed, 24 Feb 2010 10:25:59 +0100
changeset 1237 38eb2bd9ad3a
parent 1081 11895d5e3d49
permissions -rw-r--r--
LF renaming part 3 (proper names of alpha equvalences)

(binary:application/pdf)