talks/20091108-Riverside/riverside1.pdf
author Kevin Walker <kevin@canyon23.net>
Sun, 14 Nov 2010 16:33:18 -0800
changeset 620 28b016b716b1
parent 378 e5867a64cae5
permissions -rw-r--r--
adding some proof sketches

(binary:application/pdf)