Literature/core-has.pdf
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 13 Jan 2014 15:42:10 +0000
changeset 3228 040519ec99e9
parent 1772 48c2eb84d5ce
permissions -rw-r--r--
fixed bug with support and freshness lemmas not being simplified properly

(binary:application/pdf)