paper.pdf
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 23 Jan 2013 15:06:32 +0100 (2013-01-23)
changeset 65 0349fa7f5595
parent 63 35fe8fe12e65
child 71 8c7f10b3da7b
permissions -rw-r--r--
also polished uh_h proof
(binary:application/pdf)