Hi all, Does anyone have a copy of Anders Kock's 1970 manuscript: *On a Theorem of Läuchli concerning Proof Bundles.* Thanks, Jim Lipton [For admin and other information see: http://www.mta.ca/~cat-dist/ ]