christian_slides.pdf
author urbanc
Tue, 02 Aug 2011 15:27:37 +0000 (2011-08-02)
changeset 182 560712a29a36
parent 20 5927cad145a6
permissions -rw-r--r--
a version of the proof which dispenses with the notion of string-subtraction
(binary:application/pdf)