chiark / gitweb /
traversal: proof of Tip Correct Contents
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 23:05:10 +0000 (00:05 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 23:05:10 +0000 (00:05 +0100)
commitd5836b17ce78e4f79f38325cdb1ce20f29c881ca
treec075ce3e146105ece85dd576182384631c13bb06
parentd29c556b0ebedf4081684216f426b83ee9f04573
traversal: proof of Tip Correct Contents
trav-alg.tex
trav-proofs.tex